Analytical validation tools for safety critical systems

Peter Seiler, Gary Balas, Andrew Packard, Ufuk Topcu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

The current practice to validate flight control laws relies on applying linear analysis tools to assess the closed loop stability and performance characteristics about many trim conditions. Nonlinear simulations are then used to provide further confidence in the linear analyses and also to uncover dynamic characteristics, e.g. limit cycles, which are not revealed by the linear analysis. This paper reviews analysis techniques which can be applied to nonlinear systems described by polynomial dynamic equations. The proposed approach is to reduce the analysis problems to a sum-of-squares optimization problem which can then be solved with freely available software. These techniques can fill the gap between linear analysis and nonlinear simulations and hence can be used to provide additional confidence in the flight control law performance.

Original languageEnglish (US)
Title of host publicationAIAA Infotech at Aerospace Conference and Exhibit and AIAA Unmanned...Unlimited Conference
PublisherAmerican Institute of Aeronautics and Astronautics Inc.
ISBN (Print)9781563479717
DOIs
StatePublished - 2009
Externally publishedYes

Publication series

NameAIAA Infotech at Aerospace Conference and Exhibit and AIAA Unmanned...Unlimited Conference

Fingerprint Dive into the research topics of 'Analytical validation tools for safety critical systems'. Together they form a unique fingerprint.

Cite this