IDENTIFICATION OF DISCRETE EVENT SYSTEMS - Implementation Issues and Model Completeness

Matthias Roth, Lothar Litz, Jean-Jacques Lesage

2010

Abstract

This paper presents some practical issues for the identification of discrete event systems (DES). The considered class of systems consists of a plant and a controller running is a closed-loop. Special emphasis is given to a data collection procedure using industrial controllers and its impact on the external DES-behavior of the considered systems. For models identified on the basis of observed external DES behavior using the algorithm from (Klein, 2005) it is shown that under some conditions, the identified model language simulates the complete original system language even if only a subset of this language is available for identification. This model characteristic is crucial for many model-based techniques like diagnosis or verification. Analyzing the observed data of a laboratory facility it is shown how it can be decided if the conditions for a complete model hold for an existing application.

References

  1. Biermann, A. and Feldman, J. (1972). On the synthesis of finite-state machines from the sample of their behavior. IEEE transactions on computers, 21:592-597.
  2. de Smet, O., Denis, B., Lesage, J.-J., and Roussel, J.-M. (2001). Dispositif et procd d'analyse de performances et d'identification comportementale d'un systme industriel en tant qu'automate vnements discrets et finis. Technical report, French Patent 01 110 933.
  3. Dotoli, M., Fanti, M. P., and Mangini, A. M. (2006). Online identification of discrete event systems: a case study. In 2006 IEEE international conference on automation science and engineering, pages 405-410.
  4. Fanti, M. P. and Seatzu, C. (2008). Fault diagnosis and identification of discrete event systems using petri nets. In Proceedings of the 9th International Workshop on Discrete Event Systems, Gtebor, Sweden, pages 432- 435.
  5. Giua, A. and Seatzu, C. (2005). Identification of freelabeled petri nets via integer programming. Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005, pages 7639- 7644.
  6. Klein, S. (2005). Identification of Discrete Event Systems for Fault Detection Purposes. Shaker Verlag.
  7. Klein, S., Litz, L., and Lesage, J.-J. (2005). Fault detection of discrete event systems using an identification approach. In Proceedings of the 16th IFAC World Congress, pages CDROM paper n02643, 6 pages.
  8. Machado, J., Denis, B., and Lesage, J. J. (2006). A generic approach to build plant models for DES verification purposes. In Proceedings of the 8th international workshop on discrete event systems, pages 407-412.
  9. Meda-Campana, M. and Lopez-Mellado (2005). Identification of concurrent discrete event systems using petri nets. 2005 IMACS: Mathematical Computer, Modelling and Simulation Conference.
  10. Roth, M., Lesage, J.-J., and Litz, L. (2009). An FDI method for manufacturing systems based on an identified model. In Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, pages 1389 - 1394, Moscow, Russia. IFAC.
  11. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1996). Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4(2):105-124.
Download


Paper Citation


in Harvard Style

Roth M., Litz L. and Lesage J. (2010). IDENTIFICATION OF DISCRETE EVENT SYSTEMS - Implementation Issues and Model Completeness . In Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-989-8425-02-7, pages 73-80. DOI: 10.5220/0002879900730080


in Bibtex Style

@conference{icinco10,
author={Matthias Roth and Lothar Litz and Jean-Jacques Lesage},
title={IDENTIFICATION OF DISCRETE EVENT SYSTEMS - Implementation Issues and Model Completeness},
booktitle={Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2010},
pages={73-80},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002879900730080},
isbn={978-989-8425-02-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - IDENTIFICATION OF DISCRETE EVENT SYSTEMS - Implementation Issues and Model Completeness
SN - 978-989-8425-02-7
AU - Roth M.
AU - Litz L.
AU - Lesage J.
PY - 2010
SP - 73
EP - 80
DO - 10.5220/0002879900730080