Towards verifiable adaptive control for safety critical applications

One of the main obstacles to the implementation of adaptive controllers for safety critical applications is the absence of analytically justified Verification and Validation (V&V) techniques for such systems. This paper seeks to provide the beginnings of a theoretically motivated V&V technique for adaptive controllers in the context of controlling uncertain flight vehicle dynamics. A set of tools for characterizing the transient properties of direct adaptive systems is developed using a combination of Lyapunov theory, asymptotic analysis, and linear system s theory. A Lyapunov approach is used to prove stability and global properties. Asymptotic analysis allows for the behavior of the nonlinear adaptive system to be practically characterized by a Reduce d Linear Asymptotic System (RLAS). Techniques used in linear system s theory then can be applied straightforwardly to the RLAS. The tools are demonstrated on a simulation of the short period mode in aircraft dynamics and on a full nonlinear six degre e of freedom aircraft simulation.

[1]  D. Enns.  CONTROL ALLOCATION APPROACHES , 1998 .

[2]  R. Monopoli.  Model reference adaptive control with an augmented error signal , 1974 .

[3]  Wayne C. Durham.  Constrained Control Allocation , 1992 .

[4]  Marcello R. Napolitano,et al.  Validating an online adaptive system using SVDD , 2003, Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence.

[5]  Abderrhaman Iggidr,et al.  On the stability of nonautonomous systems , 2003, Autom..

[6]  P. R. Chandler,et al.  Self-repairing flight control system program overview , 1988, Proceedings of the IEEE 1988 National Aerospace and Electronics Conference.

[7]  Marc Bodson,et al.  COMMAND LIMITING IN RECONFIGURABLE FLIGHT CONTROL , 1998 .

[8]  J. Renfrow,et al.  F-14 flight control law design, verification, and validation using computer aided engineering tools , 1994, 1994 Proceedings of IEEE International Conference on Control and Applications.

[9]  P. Antsaklis,et al.  On the stability of the pseudo-inverse method for reconfigurable control systems , 1989, Proceedings of the IEEE National Aerospace and Electronics Conference.

[10]  Jerry M. Wohletz.  Retrofit systems for reconfiguration in civil aviation , 1999 .

[11]  Ali Mili,et al.  Certifying Adaptive Flight Control Software , 2000 .

[12]  Youdan Kim,et al.  Model Following Reconfigurable Flight Control System Design Using Direct Adaptive Scheme , 2002 .

[13]  Dennis Henderson,et al.  Closed-loop model following and control allocation for transport aircraft using an ordered neural network-based approach , 1999 .

[14]  Anthony J. Calise,et al.  Development of a Reconfigurable Flight Control Law for Tailless Aircraft , 2001 .

[15]  Eugene L. Duke.  V&V of flight and mission-critical software , 1989, IEEE Software.

[16]  Frank L. Lewis,et al.  Adaptive Control of Nonsmooth Dynamic Systems , 2001 .

[17]  A. Annaswamy,et al.  Direct Adaptive Control of Multi-Input Plants with Magnitude Saturation Constraints , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[18]  R. Mehra,et al.  Multiple-Model Adaptive Flight Control Scheme for Accommodation of Actuator Failures , 2002 .

[19]  Ping Lu,et al.  Reconfigurable Flight Control Designs With Application to the X-33 Vehicle , 1999 .

[20]  David Bodden,et al.  Multivariable control allocation and control law conditioning when control effectors limit , 1994 .

[21]  H. Buus,et al.  777 flight controls validation process , 1997, IEEE Transactions on Aerospace and Electronic Systems.

[22]  D. Ward,et al.  Verification and validation of neural networks for safety-critical applications , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[23]  P. Antsaklis,et al.  Stability of the pseudo-inverse method for reconfigurable control systems , 1991 .

[24]  Didier Theilliol,et al.  Fault-tolerant control in dynamic systems: application to a winding machine , 2000 .

[25]  A framework for verification and validation of integrated and adaptive control systems , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[26]  E. Lavretsky,et al.  Adaptation-based reconfiguration in the presence of actuator failures and saturation , 2005, Proceedings of the 2005, American Control Conference, 2005..

[27]  Bonaventure Intercontinental,et al.  ON DECISION AND CONTROL , 1985 .

[28]  Xiaoli Ma,et al.  Adaptive state feedback and tracking control of systems with actuator failures , 2001, IEEE Trans. Autom. Control..

[29]  A. Page,et al.  A CLOSED-LOOP COMPARISON OF CONTROL ALLOCATION METHODS , 2000 .

[30]  Bojan Cukic.  The need for verification and validation techniques for adaptive control system , 2001, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[31]  Bin Jiang,et al.  An adaptive technique for robust diagnosis of faults with independent effects on system outputs , 2002 .

[32]  Weiping Li,et al.  Applied Nonlinear Control , 1991 .

[33]  H. Buus,et al.  777 flight controls validation process , 1997 .

[34]  Marc Bodson,et al.  Multivariable adaptive algorithms for reconfigurable flight control , 1997, IEEE Trans. Control. Syst. Technol..

[35]  Frank L. Lewis,et al.  Aircraft Control and Simulation , 1992 .

[36]  A. Annaswamy,et al.  Towards Verifiable Adaptive Flight Control for Safety Critical Applications , 2005 .

[37]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.