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
关键词
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 条
  • [1] Validation & verification of intelligent and adaptive control systems
    Crum, VW
    Plaisted, C
    Buffington, JM
    Prasanth, R
    Tallant, GS
    Bose, P
    Krogh, B
    Johnson, T
    2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 68 - 77
  • [2] A framework for verification and validation of integrated and adaptive control systems
    James, J
    Barton, D
    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
    Schumann, Johann
    Liu, Yan
    2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2007, : 3320 - +
  • [4] Verification and Validation of Neuro-adaptive Aircraft Control Systems
    Schumann, Johann
    Liu, Yan
    Gupta, Pramod
    1ST INTERNATIONAL NORTH-AMERICAN SIMULATION TECHNOLOGY CONFERENCE, 2008, : 7 - +
  • [5] Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems
    Guarro, Sergio
    Ozguner, Umit
    Aldemir, Tunc
    Knudson, Matt
    Kurt, Arda
    Yau, Michael
    Hejase, Mohammad
    Kwon, Steve
    NASA FORMAL METHODS, NFM 2016, 2016, 9690 : 227 - 233
  • [6] Validation and verification of intelligent systems - what are they and how are they different?
    Gonzalez, AJ
    Barr, V
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2000, 12 (04) : 407 - 420
  • [7] Verification of distributed control systems in intelligent manufacturing
    Valeriy Vyatkin
    Hans-Michael Hanisch
    Journal of Intelligent Manufacturing, 2003, 14 : 123 - 136
  • [8] Verification of distributed control systems in intelligent manufacturing
    Vyatkin, V
    Hanisch, HM
    JOURNAL OF INTELLIGENT MANUFACTURING, 2003, 14 (01) : 123 - 136
  • [9] EVOLUTION OF INTELLIGENT CONTROL IN ADAPTIVE SYSTEMS
    TIMOFEYEV, AV
    YUSSUPOV, RM
    INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING, 1992, 6 (03) : 193 - 200
  • [10] VERIFICATION AND VALIDATION OF INTELLIGENT SYSTEMS - 5 YEARS OF AAAI WORKSHOPS
    OLEARY, DE
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (08) : 653 - 657