A hybrid system approach towards redundant fault-tolerant control systems

摘要

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.