Analysis of distributed control systems using timed automata with guards and dioid algebra.

Fatima Ait Oumeziane, Alain Ourghanlian, Sad Amari

Browse the full ETFA paper archive.