Abstract | ||
---|---|---|
To ensure that an aircraft is safe to fly, a complex, lengthy and costly process must be undertaken. Current aircraft control systems verification methodologies are based on conducting extensive simulations in an attempt to cover all worst-case scenarios. A Nichols plot is a technique that can be used to conclusively determine if a control system is stable. However, to guarantee stability within a certain margin of uncertainty requires an informal visual inspection of many plots. To leverage the safety verification problem, we present in this paper a method for performing a formal Nichols Plot analysis using the MetiTarski automated theorem prover. First the transfer function for the flight control system is extracted from a Matlab/Simulink design. Next, using the conditions for a stable dynamical system, an exclusion region of the Nichols Plot is defined. MetiTarski is then used to prove that the exclusion region is never entered. We present a case study of the proposed approach applied to the lateral autopilot of a Model 24 Learjet. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-20398-5_8 | NASA Formal Methods |
Keywords | Field | DocType |
stable dynamical system,control system,towards flight control verification,safety verification problem,flight control system,exclusion region,verification methodology,metitarski automated theorem prover,nichols plot,formal nichols plot analysis,current aircraft control system,transfer function,theorem prover,automated theorem proving,information visualization,dynamic system | Visual inspection,MATLAB,Computer science,Control theory,Nichols plot,Automated theorem proving,Control engineering,Transfer function,Autopilot,Control system,Dynamical system | Conference |
Volume | ISSN | Citations |
6617 | 0302-9743 | 3 |
PageRank | References | Authors |
0.39 | 3 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
William Denman | 1 | 3 | 0.39 |
Mohamed H. Zaki | 2 | 109 | 15.49 |
Sofiène Tahar | 3 | 915 | 110.41 |
luis rodrigues | 4 | 173 | 18.96 |