Share Email Print
cover

Proceedings Paper

Application of formal methods to fault-tolerant flight control systems
Author(s): Le Xue; Zongji Chen
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

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.

Paper Details

Date Published: 2 September 2003
PDF: 5 pages
Proc. SPIE 5253, Fifth International Symposium on Instrumentation and Control Technology, (2 September 2003); doi: 10.1117/12.522119
Show Author Affiliations
Le Xue, Beijing Univ. of Aeronautics and Astronautics (China)
Zongji Chen, Beijing Univ. of Aeronautics and Astronautics (China)


Published in SPIE Proceedings Vol. 5253:
Fifth International Symposium on Instrumentation and Control Technology
Guangjun Zhang; Huijie Zhao; Zhongyu Wang, Editor(s)

© SPIE. Terms of Use
Back to Top