Active Fault-Tolerant Control of Timed Automata with Guards

In this paper, an approach for active fault-tolerant control of discrete event systems modeled by timed automata with guards is proposed. Time is essential to detect some faults, and will be used as a criterion to select the control law. A model representing the behavior of the whole system that respects time constraints is first constructed. Hence, given a diagnosis result, a reconfigured control law is extracted from the previous model on the basis of the fastest execution time of desired tasks.