Title :
A hybrid system approach towards redundant fault-tolerant control systems
Author_Institution :
Dept. of Control Eng., Aalborg Univ., Denmark
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;
Conference_Titel :
Decision and Control, 2000. Proceedings of the 39th IEEE Conference on
Conference_Location :
Sydney, NSW
Print_ISBN :
0-7803-6638-7
DOI :
10.1109/CDC.2000.912902
