Monitoring of timed discrete events systems: Application to manufacturing systems

Adib Allahham; Hassane Alla

doi:10.1109/IECON.2006.347235

Monitoring of timed discrete events systems: Application to manufacturing systems

Adib Allahham^*, Hassane Alla

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	English
Title of host publication	IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics
Pages	3609-3614
Number of pages	6
DOIs	https://doi.org/10.1109/IECON.2006.347235
Publication status	Published - 2006
Externally published	Yes
Event	IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics - Paris, France Duration: 6 Nov 2006 → 10 Nov 2006

Publication series

Name	IECON Proceedings (Industrial Electronics Conference)

Conference

Conference	IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics
Country/Territory	France
City	Paris
Period	6/11/06 → 10/11/06

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Access to Document

10.1109/IECON.2006.347235

Cite this

@inproceedings{0d05d0ce74404a6b9b919e2e6944f185,

title = "Monitoring of timed discrete events systems: Application to manufacturing systems",

abstract = "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.",

author = "Adib Allahham and Hassane Alla",

year = "2006",

doi = "10.1109/IECON.2006.347235",

language = "English",

isbn = "1424401364",

series = "IECON Proceedings (Industrial Electronics Conference)",

pages = "3609--3614",

booktitle = "IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics",

note = "IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics ; Conference date: 06-11-2006 Through 10-11-2006",

}

Allahham, A & Alla, H 2006, Monitoring of timed discrete events systems: Application to manufacturing systems. in IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics., 4153062, IECON Proceedings (Industrial Electronics Conference), pp. 3609-3614, IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics, Paris, France, 6/11/06. https://doi.org/10.1109/IECON.2006.347235

Monitoring of timed discrete events systems: Application to manufacturing systems. / Allahham, Adib; Alla, Hassane.
IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics. 2006. p. 3609-3614 4153062 (IECON Proceedings (Industrial Electronics Conference)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 - https://www.scopus.com/pages/publications/50249180133

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 -

Monitoring of timed discrete events systems: Application to manufacturing systems

Abstract

Publication series

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this