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 条
  • [21] Verification and Validation of Adaptive Instructional Systems: A Text Mining Review
    Emond, Bruno
    ADAPTIVE INSTRUCTIONAL SYSTEMS, AIS 2024, 2024, 14727 : 25 - 43
  • [22] Advanced Algorithms for Verification and Validation of Flexible Aircraft with Adaptive Control
    Wagner, Daniel
    Henrion, Didier
    Hromcik, Martin
    JOURNAL OF GUIDANCE CONTROL AND DYNAMICS, 2023, 46 (03) : 600 - 607
  • [23] On the specification, validation and verification of security in access control systems
    O'Shea, Greg, 1600, Oxford Univ Press, Oxford, United Kingdom (37):
  • [24] Verification and Validation of a Pressure Control Unit for Hydraulic Systems
    Bostrom, Pontus
    Heikkila, Mikko
    Huova, Mikko
    Walden, Marina
    Linjama, Matti
    SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, 2014, 8785 : 101 - 115
  • [25] SOFTWARE VERIFICATION AND VALIDATION FOR COMMAND AND CONTROL SYSTEMS.
    Chandler, Alan R.
    RCA Engineer, 1974, 19 (05): : 32 - 35
  • [26] Adaptive tracking control for networked control systems of intelligent vehicle
    Li, Meng
    Chen, Yong
    Zhou, Anjian
    He, Wen
    Li, Xu
    INFORMATION SCIENCES, 2019, 503 : 493 - 507
  • [27] Verification and validation of an intelligent tutorial system
    Aguilar, R. M.
    Munoz, V.
    Noda, M.
    Bruno, A.
    Moreno, L.
    EXPERT SYSTEMS WITH APPLICATIONS, 2008, 35 (03) : 677 - 685
  • [28] Formal Verification of Intelligent Mechatronic Systems with Decentralized Control Logic
    Patil, Sandeep
    Vyatkin, Valeriy
    Sorouri, Majid
    2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [29] Adaptive intelligent techniques for microgrid control systems: A survey
    Mahmoud, Magdi S.
    Alyazidi, Nezar M.
    Abouheaf, Mohamed I.
    INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, 2017, 90 : 292 - 305
  • [30] Intelligent adaptive control for MIMO uncertain nonlinear systems
    Chen, Chiu-Hsiung
    Lin, Chih-Min
    Chen, Te-Yu
    EXPERT SYSTEMS WITH APPLICATIONS, 2008, 35 (03) : 865 - 877