Azzabi, Olfa; Ben Njima, Chakib; Messaoud, Hassani - In: International Journal of Ambient Computing and … 8 (2017) 3, pp. 76-93
The Discrete Event Systems (DES) is a nonlinear dynamic system with discrete state and event evolution. In this article, we are interested in the diagnosis of failures with Timed Automata. The proposed approach is based on the operating time and it is applicable to any system whose dynamic...