Validation & verification of intelligent and adaptive control systems

被引:0
|
作者
Tallant, Gregory S. [1 ]
Hull, Richard A. [1 ]
Bose, Prasanta [1 ]
Johnson, Tim [1 ]
Buffington, James M. [1 ]
Krogh, Bruce [1 ]
Crum, Vincent W. [1 ]
Prasanth, Ravi [1 ]
机构
[1] Lockheed Martin Aeronaut Co, Ft Worth, TX USA
来源
2005 IEEE Aerospace Conference, Vols 1-4 | 2005年
关键词
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
Emerging military aerospace system operational goals, such as autonomy, will require advanced safety-critical control systems consisting of unconventional requirements, system architectures, software algorithms, and hardware implementations. These emerging control systems will significantly challenge current verification and validation (V&V) processes, tools, and methods for flight certification. Ultimately, transition of advanced control systems that enable transformational military operations will be decided by affordable V&V strategies that reduce costs and compress schedules for flight certification. This paper describes a comprehensive plan and preliminary results for a study of V&V needs for emerging safety-critical control systems in the context of military aerospace vehicle flight certification.
引用
收藏
页码:2926 / 2936
页数:11
相关论文
共 50 条
  • [11] Verification and validation of intelligent systems: Five years of AAAI workshops
    O'Leary, Daniel E.
    International Journal of Intelligent Systems, 1994, 9 (08): : 653 - 657
  • [13] RIACS workshop on the verification and validation of autonomous and adaptive systems
    Pecheur, C
    Visser, W
    Simmons, R
    AI MAGAZINE, 2001, 22 (03) : 107 - 111
  • [14] The need for verification and validation techniques for adaptive control system
    Cukic, B
    5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 297 - 298
  • [15] Computational methods for the verification of adaptive control systems
    Prasanth, R
    Boskovic, J
    Mehra, R
    SIGNAL PROCESSING, SENSOR FUSION, AND TARGET RECOGNITION XIII, 2004, 5429 : 264 - 272
  • [16] Approximate verification of a class of adaptive control systems
    Prasanth, R
    Chen, LJ
    Boskovic, J
    Mehra, R
    PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 1905 - 1910
  • [17] Intelligent, fault adaptive control of autonomous systems
    Krenn, Willibald
    Wotawa, Franz
    Lecture Notes in Electrical Engineering, 2009, 38 : 175 - 188
  • [18] AN INTELLIGENT CONTROL AND DECISION APPROACH FOR ADAPTIVE SYSTEMS
    XU, HY
    BAIRD, CR
    RIORDAN, D
    JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1993, 8 (01) : 63 - 76
  • [19] A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems
    Bellini, Pierfrancesco
    Nesi, Paolo
    Zaza, Imad
    ERCIM NEWS, 2015, (103): : 36 - 37
  • [20] Verification and Validation of Adaptive Instructional Systems: A Text Mining Review
    Emond, Bruno
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14727 LNCS : 25 - 43