共 50 条
- [1] Validation & verification of intelligent and adaptive control systems 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 68 - 77
- [2] A framework for verification and validation of integrated and adaptive control systems PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 243 - 248
- [3] Tools and methods for the verification and validation of adaptive aircraft control systems 2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2007, : 3320 - +
- [4] Verification and Validation of Neuro-adaptive Aircraft Control Systems 1ST INTERNATIONAL NORTH-AMERICAN SIMULATION TECHNOLOGY CONFERENCE, 2008, : 7 - +
- [5] Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems NASA FORMAL METHODS, NFM 2016, 2016, 9690 : 227 - 233
- [7] Verification of distributed control systems in intelligent manufacturing Journal of Intelligent Manufacturing, 2003, 14 : 123 - 136