DESIGN AND IMPLEMENTATION OF A MONITORING SYSTEM USING GRAFCET

Adib Allahham, Hassane Alla

2007

Abstract

A monitoring system based on a stopwatch automaton is proposed to detect the system faults as early as possible. Each location in the automaton corresponds to a system’s situation. Its time space delimits exactly the range of the normal behavior in the corresponding system’s situation. The monitoring system detects a fault when the time space corresponding to the actual system’s situation is violated. The stopwatch automaton provides a formal foundation to model the system’s behavior and to synthesize the exactly time space in each location. This paper aims to provide the grafcet monitor that allows to link the design of the monitoring system of a system with its implementation in a programmable logic controller.

References

  1. A.allahham and alla, H. (2006). Monitoring of timed discrete events systems: Application to manufacturing systems. In The 32nd Annual conference of IEEE Industrial Electronics Society.
  2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzingerd, T., Hod, P., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. (1995). The algoritmic analysis of hybrid systems. Theoretical Computer Science, 138(1).
  3. Cassez, F. and Larsen, K. (2000). The impressive power of stopwatch. In 11th conference on concurrency theory, number 1877, pages 138-152.
  4. David, R. (1995). Grafcet: A powerful tool for specification of logic controllers. IEEE transactions on control, systems technology, 3(3).
  5. Frehse, G. (2005). Phaver: Algorithmic verification of hybrid systems past hytech. In The Fifth International Workshop on Hybrid Systems: Computation and Control, pages 258-273.
  6. Ghazel, M., Toguéni, A., and Bigang, M. (2005). A monitoring approach for discrete events systems based on a timed perti net model. In Proceedings of 16th IFAC World Congress.
  7. Huang, Z., Chandra, V., Jiang, S., and Kumar, R. (1996). Modeling discrte event systems with faults using a rules based modeling formalism. Mathematical Modeling of Systems, 1(1).
  8. S. H. ZAd, R. H. K. and Wonham, W. M. (2003). Fault diagnosis in discrete-event systems: Framework and model reduction. IEEE Transactions On Automatic Control, 48(7):1199-1212.
Download


Paper Citation


in Harvard Style

Allahham A. and Alla H. (2007). DESIGN AND IMPLEMENTATION OF A MONITORING SYSTEM USING GRAFCET . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-972-8865-84-9, pages 220-225. DOI: 10.5220/0001639102200225


in Bibtex Style

@conference{icinco07,
author={Adib Allahham and Hassane Alla},
title={DESIGN AND IMPLEMENTATION OF A MONITORING SYSTEM USING GRAFCET},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2007},
pages={220-225},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001639102200225},
isbn={978-972-8865-84-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - DESIGN AND IMPLEMENTATION OF A MONITORING SYSTEM USING GRAFCET
SN - 978-972-8865-84-9
AU - Allahham A.
AU - Alla H.
PY - 2007
SP - 220
EP - 225
DO - 10.5220/0001639102200225