Bounded Verification of Adaptive Flight Control Systems

Citation

Tiwari, A. (2010). Bounded verification of adaptive flight control systems. In AIAA Infotech@ Aerospace 2010 (p. 3362).

Abstract

We formally verify a direct model reference adaptive control (MRAC) method that is used to enable flight control in adverse conditions. We use the bounded verification approach and verify the system by introducing templates for both the assumptions and the guarantees, and using the tool QEPCAD to solve the resulting exists-for-all formula. We also present results from an analysis performed on indirect and hybrid adaptive flight controllers.

↓ View online

Read more from SRI

  • surgeons around a surgical robot

    The SRI research behind today’s surgical robotics

    Intuitive’s da Vinci 5 system represents a major leap in robotic-assisted medicine. It all started at SRI, which continues to advance teleoperation technologies.

  • a collage of digital graphs

    A banner year for quantum

    SRI-managed QED-C’s annual report on quantum trends captures an industry accelerating rapidly from technical promise toward major global impact.

  • ICE Cube containing SRI’s aerogel experiment, photographed prior to launch. Source: Aerospace Applications North America

    An SRI carbon capture experiment launches into space

    By synthesizing carbon-absorbing aerogels in microgravity, SRI research will give us a rare glimpse into how these materials could be radically improved.