Validation and Verification Techniques and Tools.
作者： Christine M. Belcastro
DOI:
关键词:
摘要: 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, experimental testing should be used to assess closed-loop system performance identify limitations. This entry discusses current methods tools as well future research directions safetycritical applications.
参考文章(48)
Thomas Taimre, Dirk P. Kroese, Zdravko I. Botev, Handbook of Monte Carlo Methods ,(2011)
John A. Brown, James Mast, Mike L. Ulrey, Mary B. Lapis, Xidong Xu, Safety Sufficiency for NextGen: Assessment of Selected Existing Safety Methods, Tools, Processes, and Regulations ,(2013)
Kevin R. Driscoll, Brendan Hall, Madl. Gabor, Modeling and Analysis of Mixed Synchronous/Asynchronous Systems ,(2012)
John Rushby, Formal methods and their role in digital systems validation for airborne systems ,(1995)
Jean-Jacques E. Slotine, Weiping Li, Applied Nonlinear Control ,(1991)
Advanced techniques for clearance of flight control laws Springer-Verlag Berlin Heidelberg New York. ,(2002) , 10.1007/3-540-45864-6
Chi-Tsong Chen, Linear System Theory and Design ,(1995)
S. Owre, J. M. Rushby, N. Shankar, PVS: A Prototype Verification System conference on automated deduction. pp. 748- 752 ,(1992) , 10.1007/3-540-55602-8_217
M. Bidoit, F. Laroussinie, A. Finkel, L. Petrucci, B. Berard, A. Petit, P. Schnoebelen, Systems and Software Verification: Model-Checking Techniques and Tools ,(2001)
Kemin Zhou, John Comstock Doyle, None, Essentials of Robust Control ,(1997)