Analysis of distributed control systems using timed automata with guards and dioid algebra. - Fatima Ait Oumeziane; Alain Ourghanlian; Saïd Amari (ETFA, 2020)

Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras. - Fatima Ait Oumeziane; Redouane Kara; Saïd Amari (Int. J. Syst. Sci., 2020)