Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras

Fatima Ait Oumeziane (1, 2) , Kara Redouane (3) , Said Amari (2)

1 LURPA
2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée
3 UMMTO - Université Mouloud Mammeri [Tizi Ouzou]

Domaines: Automatique / Robotique

Fatima Ait Oumeziane, Kara Redouane, Said Amari. Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras. International Journal of Systems Science, In press. ⟨hal-02889090⟩