Fatima Ait Oumeziane, Alain Ourghanlian, Saïd Amari. Analysis of distributed control systems using timed automata with guards and dioid algebra. In 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Vienna, Austria, September 8-11, 2020. pages 1373-1376, IEEE, 2020. [doi]
Abstract is missing.