Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems
AIAA Infotech@Aerospace conference; Exhibit 2010 ; 2010 ; Atlanta, Georgia
2010-01-01
8 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
Aerospace , Infotech , Unmanned , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Bounded Verification of Adaptive Flight Control Systems
British Library Conference Proceedings | 2010
|Bounded Verification of Adaptive Flight Control Systems
AIAA | 2010
|Accommodating Actuator Failures in Flight Control Systems
British Library Conference Proceedings | 1999
|