Fault-Tolerant Control for Safety of Discrete-Event Systems

This paper considers fault-tolerant control that ensures the safety of a discrete-event system. We consider multiple faulty modes. Each faulty mode is modeled by an automaton. These automata, together with the automaton modeling normal mode, describe a discrete-event system with faults. Each faulty mode has some illegal states that must be avoided by control so that the fault can be tolerated. …