Fault-tolerant control of deterministic I/O automata using active diagnosis
Melanie Schuh, Jan Lunze · 2016
A method for the fault-tolerant control of discrete event systems modeled by deterministic Input/Output automata is proposed with an emphasis on the fault diagnosis. When a fault is detected, the diagnostic unit generates a homing sequence as an input to the controller such that from the output of the plant the present fault and the current state of the faulty plant can be deduced. With this knowledge the controller is reconfigured. A condition for the recoverability of the control loop is stated and it is proved that in the proposed fault-tolerant control loop the faulty plant reaches the desired final state without any external intervention, if the control loop is recoverable.