Application of formal methods to fault-tolerant flight control systems

Le Xue; Zongji Chen

doi:10.1117/12.522119

2 September 2003 Application of formal methods to fault-tolerant flight control systems

Le Xue, Zongji Chen

Proceedings Volume 5253, Fifth International Symposium on Instrumentation and Control Technology; (2003) https://doi.org/10.1117/12.522119
Event: Fifth International Symposium on Instrumentation and Control Technology, 2003, Beijing, China

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.

Citation Download Citation

Le Xue and Zongji Chen "Application of formal methods to fault-tolerant flight control systems", Proc. SPIE 5253, Fifth International Symposium on Instrumentation and Control Technology, (2 September 2003); https://doi.org/10.1117/12.522119

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available