DocumentCode
1743912
Title
A hybrid system approach towards redundant fault-tolerant control systems
Author
Yang, Zhenyu
Author_Institution
Dept. of Control Eng., Aalborg Univ., Denmark
Volume
1
fYear
2000
fDate
2000
Firstpage
987
Abstract
This paper discusses the verification problem of redundancy management systems (RMS) in fault-tolerant control by using a hybrid system approach $the discrete-event-system (DES) abstracting strategy. The qualitative fault-tolerant criteria can be formally verified if a DES model is abstracted from the continuous/discrete-time dynamical system in a consistent way. The acquisition of the DES model and verification of fault-tolerant criteria are illustrated based on a concrete RMS of a redundant flight control system
Keywords
aircraft control; continuous time systems; discrete event systems; fault diagnosis; fault tolerance; formal verification; redundancy; continuous-time system; discrete-event-system; fault-tolerant control; flight control system; hybrid system; redundancy management systems; verification; Aerospace control; Circuit faults; Control system synthesis; Control systems; Digital control; Disaster management; Fault detection; Fault tolerant systems; Monitoring; Redundancy;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2000. Proceedings of the 39th IEEE Conference on
Conference_Location
Sydney, NSW
ISSN
0191-2216
Print_ISBN
0-7803-6638-7
Type
conf
DOI
10.1109/CDC.2000.912902
Filename
912902
Link To Document