TY - GEN
T1 - Monitoring of timed discrete events systems
T2 - IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics
AU - Allahham, Adib
AU - Alla, Hassane
PY - 2006
Y1 - 2006
N2 - In this paper, we develop a method for fault detection based on Stopwatch automata. This method takes into account the exact behavior of some physical resources. Because of a malfunction, some system tasks can be stopped and resumed a little later. Thus, we introduce the concept of an acceptable system behavior which is supposed to be observable. It is supervised by two clocks for each task. The timed state space of the stopwatch automaton delimits exactly the acceptable system behavior. It permits to detect the fault as early as possible. This space is a set of the inequality constraints where any violation of these constraints represents a fault.
AB - In this paper, we develop a method for fault detection based on Stopwatch automata. This method takes into account the exact behavior of some physical resources. Because of a malfunction, some system tasks can be stopped and resumed a little later. Thus, we introduce the concept of an acceptable system behavior which is supposed to be observable. It is supervised by two clocks for each task. The timed state space of the stopwatch automaton delimits exactly the acceptable system behavior. It permits to detect the fault as early as possible. This space is a set of the inequality constraints where any violation of these constraints represents a fault.
UR - http://www.scopus.com/inward/record.url?scp=50249180133&partnerID=8YFLogxK
U2 - 10.1109/IECON.2006.347235
DO - 10.1109/IECON.2006.347235
M3 - Conference contribution
AN - SCOPUS:50249180133
SN - 1424401364
SN - 9781424401369
T3 - IECON Proceedings (Industrial Electronics Conference)
SP - 3609
EP - 3614
BT - IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics
Y2 - 6 November 2006 through 10 November 2006
ER -