Bounded Verification of Adaptive Flight Control Systems
AIAA Infotech@Aerospace conference; Exhibit 2010 ; 2010 ; Atlanta, Georgia
2010-01-01
14 pages
Includes bibliographical references and index
Conference paper
English
Aerospace , Infotech , Unmanned , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Bounded Verification of Adaptive Flight Control Systems
AIAA | 2010
|Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems
British Library Conference Proceedings | 2010
|Hybrid Adaptive Flight Control with Bounded Linear Stability Analysis AIAA Paper
British Library Conference Proceedings | 2007
|