Abstract | ||
---|---|---|
Gain scheduling is a commonly used closed-loop control approach for safety critical non-linear systems, such as commercial gas turbine engines. It is preferred over more advanced control strategies due to a known route to certification. Nonetheless, the stability of the system is hard to prove analytically, and consequently, safety and airworthiness is achieved by burdensome extensive testing. Model checking can aid in bringing down development costs of such a control system and simultaneously improve safety by providing guarantees on properties of embedded control systems. Due to model-checking exhaustive verification capabilities, it has long been recognised that coverage and error-detection rate can be increased compared to traditional testing methods. However, the statespace explosion is still a major computational limitation when applying model-checking to verify dynamic system behaviour. A practical methodology to incrementally design and formally verify control system requirements for a gain scheduling scheme is demonstrated in this paper, overcoming the computational constraints traditionally imposed by model checking. In this manner, the gain-scheduled controller can be efficiently and safely generated with the aid of the model checker. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/MED.2017.7984128 | 2017 25th Mediterranean Conference on Control and Automation (MED) |
Keywords | Field | DocType |
formal verification,gain scheduling control,closed-loop control,safety critical nonlinear systems,gas turbine engines,stability,airworthiness,model checking,embedded control systems,model-checking exhaustive verification,error detection rate,statespace explosion,dynamic system behaviour,gain-scheduled controller,model checker | Control theory,Model checking,Computer science,Gain scheduling,Automaton,Control engineering,Airworthiness,Process control,Control system,Reliability engineering,Formal verification | Conference |
ISSN | ISBN | Citations |
2325-369X | 978-1-5090-4534-1 | 0 |
PageRank | References | Authors |
0.34 | 4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pablo Ordóñez | 1 | 0 | 0.34 |
Andrew R. Mills | 2 | 7 | 2.92 |
Tony J. Dodd | 3 | 201 | 20.88 |
Jun Liu | 4 | 215 | 20.63 |