Active Fault-Tolerant Control of Timed Automata with Guards

Julien Niguez (1) , Said Amari (1) , Jean-Marc Faure (1)

1 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

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.

Domaines: Sciences de l'ingénieur [physics]

Julien Niguez, Said Amari, Jean-Marc Faure. Active Fault-Tolerant Control of Timed Automata with Guards. 20th IFAC World Congress, IFAC, Jul 2017, Toulouse, France. ⟨hal-01525062⟩