Monitoring of Timed Discrete Events Systems With Interrupts

Adib Allahham (1) , Hassane Alla (1)

1 GIPSA-SYSCO - GIPSA - Systèmes non linéaires et complexité

A framework is introduced for monitoring the interrupting faults in the timed discrete events systems. We introduce the notion of acceptable behavior of the system subjected to these faults: permanent or intermittent. The acceptable behavior of a system is modeled by a stopwatch automaton. The timed sub-spaces in the locations of the automaton delimit exactly the range of the acceptable behavior. They are synthesized using the techniques of reachability analysis of stopwatch automata in a way to detect the system faults as early as possible.

Mots clés: Author Keywords Interrupting faults monitoring reachability analysis stopwatch automata timed discrete events systems

Domaines: Théorie de l'information [cs.IT]; Théorie de l'information et codage [math.IT]; Automatique / Robotique

Adib Allahham, Hassane Alla. Monitoring of Timed Discrete Events Systems With Interrupts. IEEE Transactions on Automation Science and Engineering, 2010, 7 (1), pp.146-150. ⟨10.1109/TASE.2009.2015957⟩. ⟨hal-00495604⟩