Application of formal methods to fault-tolerant flight control systems

被引：0
|
作者：
Xue, L [1 ]
Chen, ZJ [1 ]
机构：
[1] Beijing Univ Aeronaut & Astronaut, Beijing 100083, Peoples R China
来源：
FIFTH INTERNATIONAL SYMPOSIUM ON INSTRUMENTATION AND CONTROL TECHNOLOGY | 2003年 / 5253卷
关键词：
formal method; fault-tolerant flight control system; extended duration calculus; hybrid system;
D O I：
10.1117/12.522119
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper is concerned with the application of formal methods to fault-tolerant flight control systems. The analysis, design and verification of a fault-tolerant flight control system have been performed in the theoretical framework of the extended duration calculus, which is a popular formal method to handle highly complex real-time hybrid systems. The theoretical results in this paper show that the proposed approach can ensure the flight control system to work properly even after a fault happens.
引用
收藏
页码：774 / 778
页数：5
相关论文
共 50 条
  • [1] FORMAL SPECIFICATION AND MECHANICAL VERIFICATION OF SIFT - A FAULT-TOLERANT FLIGHT CONTROL-SYSTEM
    MELLIARSMITH, PM
    SCHWARTZ, RL
    IEEE TRANSACTIONS ON COMPUTERS, 1982, 31 (07) : 616 - 630
  • [2] RECONFIGURABLE CONTROLLER FOR ACTIVE FAULT-TOLERANT CONTROL SYSTEMS WITH APPLICABILITY TO FLIGHT CONTROL
    Lungu, Mihai
    Lungu, Romulus
    PROCEEDINGS OF THE ROMANIAN ACADEMY SERIES A-MATHEMATICS PHYSICS TECHNICAL SCIENCES INFORMATION SCIENCE, 2014, 15 (02): : 191 - 199
  • [3] Adaptive Fault-tolerant Control for Flight Systems with Severe Actuator Failures
    Wang, Man
    Yang, Jianying
    PROCEEDINGS OF THE 2019 31ST CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2019), 2019, : 3915 - 3920
  • [4] Review of Fault-tolerant Control for Flight Control System
    Wang X.
    Yang X.
    Wang S.
    Jixie Gongcheng Xuebao/Journal of Mechanical Engineering, 2024, 60 (04): : 50 - 65
  • [5] Concepts and methods in fault-tolerant control
    Blanke, M
    Staroswiecki, M
    Wu, NE
    PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 2606 - 2620
  • [6] Overview of fault-tolerant control methods for discrete event systems
    Fritz, Raphael
    Zhang, Ping
    IFAC PAPERSONLINE, 2018, 51 (24): : 88 - 95
  • [7] An application of formal analysis to software in a fault-tolerant environment
    Chisholm, GH
    Wojcik, AS
    IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (10) : 1053 - 1064
  • [8] Fault-tolerant control in dynamic systems: Application to a winding machine
    Noura, H
    Sauter, D
    Hamelin, F
    Theilliol, D
    IEEE CONTROL SYSTEMS MAGAZINE, 2000, 20 (01): : 33 - 49
  • [9] Adaptive fault-tolerant tracking control against actuator faults with application to flight control
    Ye, Dan
    Yang, Guang-Hong
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2006, 14 (06) : 1088 - 1096
  • [10] Experiences with Formal Specification of Fault-Tolerant File Systems
    Geambasu, Roxana
    Birrell, Andrew
    MacCormick, John
    2008 IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS WITH FTCS & DCC, 2008, : 96 - +
12345