Certification considerations for adaptive systems

Advanced capabilities planned for the next generation of unmanned aircraft will be based on complex new algorithms and non-traditional software elements. These aircraft will incorporate adaptive and intelligent control algorithms that will provide enhanced safety, autonomy, and high-level decision-making functions normally performed by human pilots, as well as robustness in the presence of failures and adverse flight conditions. This paper discusses the characteristics of adaptive algorithms and the challenges they present to certification for operation in the National Airspace System (NAS). We provide mitigation strategies that may make it possible to overcome these challenges.

[1]  Anthony J. Calise,et al.  Neural-Network Augmentation of Existing Linear Controllers , 2001 .

[2]  Michael Fisher,et al.  Verifying autonomous systems , 2013, CACM.

[3]  Petros G. Voulgaris,et al.  DIRECT ADAPTIVE RECONFIGURABLE FLIGHT CONTROL FOR A TAILLESS ADVANCED FIGHTER AIRCRAFT , 1999 .

[4]  Naira Hovakimyan,et al.  Novel L1 adaptive control methodology for aerial refueling with guaranteed transient performance , 2008 .

[5]  Dongjin Lee,et al.  Autonomous Autorotation of an Unmanned Helicopter Using a Reinforcement Learning Algorithm , 2013, J. Aerosp. Inf. Syst..

[6]  Jovan D. Boskovic,et al.  Performance analysis of a simple L1-adaptive controller , 2013, 2013 American Control Conference.

[7]  Michael S. Bernstein,et al.  ImageNet Large Scale Visual Recognition Challenge , 2014, International Journal of Computer Vision.

[8]  Naira Hovakimyan,et al.  L1 Adaptive Neural Network Controller for Autonomous Aerial Refueling with Guaranteed Transient Performance , 2006 .

[9]  Nhan T. Nguyen.  Robust Optimal Adaptive Control Method with Large Adaptive Gain , 2009 .

[10]  David W. Vos,et al.  Enhancing UAV Survivability Through Damage Tolerant Control , 2010 .

[11]  Irene M. Gregory,et al.  Flight Test of an L(sub 1) Adaptive Controller on the NASA AirSTAR Flight Test Vehicle , 2010 .

[12]  Manu Sharma,et al.  Application and Flight Testing of an Adaptive Autopilot on Precision Guided Munitions , 2006 .

[13]  Bálint Vanek,et al.  Supervisory fault tolerant control of the GTM UAV using LPV methods , 2013 .

[14]  H. Penny Nii,et al.  The Handbook of Artificial Intelligence , 1982 .

[15]  Robert R. Bitmead,et al.  Adaptive Control Algorithms , 1991 .

[16]  G. Tao,et al.  Adaptive control of piecewise linear systems with applications to NASA GTM , 2011, Proceedings of the 2011 American Control Conference.

[17]  P.S. Miner,et al.  Unmanned Aircraft Hazards and their Implications for Regulation , 2006, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference.

[18]  Richard W. Buskens,et al.  Verification of Adaptive Systems , 2012, Infotech@Aerospace.

[19]  Stephen A. Jacklin,et al.  Closing the Certification Gaps in Adaptive Flight Control Software , 2008 .

[20]  B. Wittenmark.  Adaptive dual control , 2002 .

[21]  Charles Pecheur.  Verification and Validation of Autonomy Software at NASA , 2000 .

[22]  Padhraic Smyth,et al.  From Data Mining to Knowledge Discovery in Databases , 1996, AI Mag..

[23]  Steven Lake Waslander,et al.  Multi-agent quadrotor testbed control design: integral sliding mode vs. reinforcement learning , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[24]  Fernando Alonso Zotes,et al.  Application of intelligent algorithms to aerospace problems , 2012 .

[25]  R. B. Wesson.  Applying Artificial Intelligence Techniques ' to Air Traffic Control Automation , 2007 .

[26]  Andrew J. Kornecki,et al.  Software certification for safety-critical systems: A status report , 2008, 2008 International Multiconference on Computer Science and Information Technology.

[27]  Jennie Si,et al.  Apache Helicopter Stabilization Using Neural Dynamic Programming , 2002 .

[28]  Peter J Seiler,et al.  Time-Delay Margin Analysis for an Adaptive Controller , 2012 .

[29]  Matthew Clark,et al.  Towards Safety Assurance of Trusted Autonomy in Air Force Flight Critical Systems , 2012 .

[30]  Ali Mili,et al.  Towards the Verification and Validation of Online Learning Adaptive Systems , 2003 .

[31]  Naira Hovakimyan,et al.  Adaptive Dynamic Inversion via Time-Scale Separation , 2006, IEEE Transactions on Neural Networks.

[32]  Youmin Zhang,et al.  DUKF-based GTM UAV fault detection and diagnosis with nonlinear and LPV models , 2010, Proceedings of 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications.

[33]  Chengyu Cao,et al.  Design and Analysis of a Novel L1 Adaptive Controller, Part II: Guaranteed Transient Performance , 2006, 2006 American Control Conference.

[34]  Randy Goebel,et al.  Computational intelligence - a logical approach , 1998 .

[35]  E. Gat.  Autonomy software verification and validation might not be as hard as it seems , 2004, 2004 IEEE Aerospace Conference Proceedings (IEEE Cat. No.04TH8720).

[36]  Koushal Kumar,et al.  Advanced Applications of Neural Networks and Artificial Intelligence: A Review , 2012 .

[37]  Barr and Feigenbaum Edward A. Avron.  The Handbook of Artificial Intelligence , 1981 .

[38]  John Valasek,et al.  Reinforcement Learning of a Morphing Airfoil-Policy and Discrete Learning Analysis , 2008, J. Aerosp. Comput. Inf. Commun..

[39]  E. Lavretsky,et al.  Adaptive dynamic inversion for nonaffine-in-control systems via time-scale separation: part II , 2005, Proceedings of the 2005, American Control Conference, 2005..

[40]  Pat Langley,et al.  Cognitive architectures: Research issues and challenges , 2009, Cognitive Systems Research.

[41]  Feng Shi,et al.  Performance Evaluation of a Self-Maintained Memory Module , 2007, RTSS 2007.

[42]  Mark D. Johnston.  Spike: AI scheduling for Hubble Space Telescope after 18 months of orbital operations , 1992 .

[43]  Michael Fisher,et al.  Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems , 2011, SAFECOMP.

[44]  Anthony J. Calise,et al.  Adaptive nonlinear control of agile antiair missiles using neural networks , 2000, IEEE Trans. Control. Syst. Technol..

[45]  Naira Hovakimyan,et al.  L1 Adaptive Control Theory - Guaranteed Robustness with Fast Adaptation , 2010, Advances in design and control.

[46]  Ben Tse,et al.  Autonomous Inverted Helicopter Flight via Reinforcement Learning , 2004, ISER.

[47]  I. Toyn,et al.  Proof vs testing in the context of safety standards , 2005, 24th Digital Avionics Systems Conference.

[48]  Monish D. Tandale,et al.  A Reinforcement Learning - Adaptive Control Architecture for Morphing , 2004, J. Aerosp. Comput. Inf. Commun..

[49]  Rob Sherwood,et al.  The EO-1 autonomous science agent , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[50]  Geoffrey E. Hinton,et al.  ImageNet classification with deep convolutional neural networks , 2012, Commun. ACM.

[51]  Matthew Ruschmann,et al.  Probing the NASA generic transport aircraft in real-time for health monitoring , 2011, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[52]  Gang Tao,et al.  A multivariable MRAC design using state feedback for linearized aircraft models with damage , 2010, Proceedings of the 2010 American Control Conference.

[53]  Bruce H. Krogh,et al.  Validation & Verification for Emerging Avionic Systems , 2006 .

[54]  L. Harrison,et al.  ARTIFICIAL INTELLIGENCE WITH APPLICATIONS FOR AIRCRAFT , 1994 .

[55]  Naira Hovakimyan,et al.  L1 Adaptive Controller for Tailless Unstable Aircraft , 2007, 2007 American Control Conference.

[56]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[57]  C. M. Holloway,et al.  Towards understanding the DO-178C / ED-12C assurance case , 2012 .

[58]  Mariusz Pelc,et al.  A framework for certifying autonomic computing systems , 2012 .

[59]  Massimo Bertozzi,et al.  Artificial vision in road vehicles , 2002, Proc. IEEE.

[60]  Gang Tao,et al.  A feedback-based fault detection scheme for aircraft systems with damage , 2011, 2011 8th Asian Control Conference (ASCC).

[61]  Chengyu Cao,et al.  Design and Analysis of a Novel L1 Adaptive Controller, Part I: Control Signal and Asymptotic Stability , 2006, 2006 American Control Conference.

[62]  S F Campbell,et al.  A nonlinear dynamic inversion L1 adaptive controller for a Generic Transport Model , 2010, Proceedings of the 2010 American Control Conference.

[63]  John Rushby,et al.  A Safety-Case Approach For Certifying Adaptive Systems , 2009 .

[64]  Petros A. Ioannou,et al.  Robust Adaptive Control , 2012 .

[65]  Michael Fisher,et al.  Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation , 2012, Infotech@Aerospace.

[66]  Lui Sha,et al.  The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[67]  Gang Tao,et al.  A discrete-time multivariable state feedback MRAC design with application to linearized aircraft models with damage , 2011, Proceedings of the 2011 American Control Conference.

[68]  Rogelio Lozano,et al.  Adaptive Control: Algorithms, Analysis and Applications , 2011 .

[69]  Johann Schumann,et al.  Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software , 2004 .

[70]  Karl Johan Åström,et al.  Adaptive Control , 1989, Embedded Digital Control with Microcontrollers.

[71]  Pieter Abbeel,et al.  An Application of Reinforcement Learning to Aerobatic Helicopter Flight , 2006, NIPS.

[72]  E. Lavretsky,et al.  Adaptive control of flight: theory, applications, and open problems , 2006, 2006 American Control Conference.

[73]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[74]  Ella M. Atkins,et al.  Safe landing planning for an energy-constrained multicopter , 2014, 2014 International Conference on Unmanned Aircraft Systems (ICUAS).

[75]  Naira Hovakimyan,et al.  L1 Adaptive Output-Feedback Controller for Non-Strictly-Positive-Real Reference Systems: Missile Longitudinal Autopilot Design , 2009 .

[76]  Irene M. Gregory,et al.  L(sub 1) Adaptive Control Design for NASA AirSTAR Flight Test Vehicle , 2009 .

[77]  Stephen A. Jacklin.  Certification of Safety-Critical Software Under DO-178C and DO-278A , 2012, Infotech@Aerospace.

[78]  John M. Rushby,et al.  New challenges in certification for aircraft software , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).