Validation and Verification Techniques and Tools

Validation and verification (V&V) of advanced control systems is required for their use in fielded systems. A comprehensive V&V process involving analysis, simulation, and experimental testing should be used to assess closed-loop system performance and identify system limitations. This entry discusses current V&V methods and tools as well as future research directions for safetycritical control applications.

[1]  Peter J Seiler,et al.  Help on SOS [Ask the Experts] , 2010 .

[2]  M. Napolitano,et al.  Does the Unscented Kalman Filter Converge Faster than the Extended Kalman Filter? A Counter Example , 2013 .

[3]  Andras Varga,et al.  Advanced techniques for clearance of flight control laws , 2002 .

[4]  Luis G. Crespo,et al.  UQTools: The Uncertainty Quantification Toolbox - Introduction and Tutorial , 2012 .

[5]  Gary J. Balas.  Robust control toolbox , 2005 .

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

[7]  Wilson J. Rugh,et al.  Research on gain scheduling , 2000, Autom..

[8]  John Rushby,et al.  Formal methods and their role in digital systems validation for airborne systems , 1995 .

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

[10]  John V. Foster,et al.  Dynamics Modeling and Simulation of Large Transport Airplanes in Upset Conditions , 2005 .

[11]  Peter J Seiler,et al.  Susceptibility of F/A-18 Flight Controllers to the Falling-Leaf Mode: Linear Analysis , 2011 .

[12]  Andreas Varga,et al.  Optimization Based Clearance of Flight Control Laws , 2012 .

[13]  P. Gahinet,et al.  A convex characterization of gain-scheduled H∞ controllers , 1995, IEEE Trans. Autom. Control..

[14]  Chi-Tsong Chen,et al.  Linear System Theory and Design , 1995 .

[15]  Jean-Paul Chilès,et al.  Wiley Series in Probability and Statistics , 2012 .

[16]  Sarfraz Khurshid,et al.  Directed incremental symbolic execution , 2011, PLDI '11.

[17]  Brendan Hall,et al.  Modeling and Analysis of Mixed Synchronous/Asynchronous Systems , 2012 .

[18]  Jean-Etienne T. Dongmo,et al.  Nonlinear Analysis of Aircraft Loss of Control , 2013 .

[19]  R.A. Hull,et al.  Validation & Verification of Intelligent and Adaptive Control Systems , 2005, 2005 IEEE Aerospace Conference.

[20]  Dirk P. Kroese,et al.  Handbook of Monte Carlo Methods , 2011 .

[21]  Ten-Huei Guo,et al.  Simulating Effects of High Angle of Attack on Turbofan Engine Performance , 2013 .

[22]  J. Doyle,et al.  Essentials of Robust Control , 1997 .

[23]  Andras Varga,et al.  Automated generation of LFT-based parametric uncertainty descriptions from generic aircraft models , 1998 .

[24]  Bruce A. Francis,et al.  Feedback Control Theory , 1992 .

[25]  A. Packard.  Gain scheduling via linear fractional transformations , 1994 .

[26]  Peter J Seiler,et al.  Quantitative local L2‐gain and Reachability analysis for nonlinear systems , 2013 .

[27]  Karl Johan Åström,et al.  Adaptive Control Theory , 1988 .

[28]  Jong-Yeob Shin,et al.  Uncertainty Modeling for Robustness Analysis of Control Upset Prevention and Recovery Systems , 2013 .

[29]  Christine M. Belcastro,et al.  Validation of Safety-Critical Systems for Aircraft Loss-of-Control Prevention and Recovery , 2012 .

[30]  Marcello R. Napolitano,et al.  Sensitivity Analysis of Extended and Unscented Kalman Filters for Attitude Estimation , 2013, J. Aerosp. Inf. Syst..

[31]  Katsuhiko Ogata,et al.  Modern Control Engineering , 1970 .

[32]  Fen Wu,et al.  Induced L2‐norm control for LPV systems with bounded parameter variation rates , 1996 .

[33]  George E. Cooper,et al.  The use of pilot rating in the evaluation of aircraft handling qualities , 1969 .

[34]  Alexander K. Hartmann.  Practical Guide to Computer Simulations: (With CD-ROM) , 2009 .

[35]  Konrad Reif,et al.  Stochastic stability of the discrete-time extended Kalman filter , 1999, IEEE Trans. Autom. Control..

[36]  Kevin A. Wise,et al.  Robust and Adaptive Control , 2013 .

[37]  J. Doyle,et al.  Robust and optimal control , 1995, Proceedings of 35th IEEE Conference on Decision and Control.

[38]  Heiko Rieger,et al.  Practical Guide to Computer Simulations , 2009 .

[39]  Philippe Schnoebelen,et al.  Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .

[40]  Joris Field,et al.  SUPRA - Enhanced upset recovery simulation , 2012 .

[41]  Xidong Xu,et al.  Safety Sufficiency for NextGen: Assessment of Selected Existing Safety Methods, Tools, Processes, and Regulations , 2013 .

[42]  Mark H Lowenberg,et al.  Bifurcation Analysis of the NASA GTM with a View to Upset Recovery , 2012 .

[43]  Matthew Rhudy,et al.  An Analytical Approach for Comparing Linearization Methods in EKF and UKF , 2013 .

[44]  Andras Varga,et al.  Enhanced LFR-toolbox for MATLAB , 2004 .

[45]  John M. Rushby,et al.  Software Verification and System Assurance , 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

[46]  Timothy L. Johnson,et al.  Validation and Verification of Intelligent and Adaptive Control Systems (VVIACS) , 2004 .

[47]  Christine M. Belcastro,et al.  Validation and Verification of Future Integrated Safety-Critical Systems Operating under Off-Nominal Conditions , 2010 .

[48]  Natarajan Shankar,et al.  PVS: A Prototype Verification System , 1992, CADE.