Identification of discrete event systems: Implementation issues and model completeness

ICINCO 2010 - Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics

Volumn 3, Issue , 2010, Pages 73-80

  Roth, Matthias ^a,b   Litz, Lothar ^a   Lesage, Jean Jacques ^a  

^a University of Koblenz Landau   (Germany)

^b Ecole Normale Superieure de Cachan   (France)

Author keywords

Discrete event systems; Identification; Implementation

Indexed keywords

CONTROL ENGINEERING; IDENTIFICATION (CONTROL SYSTEMS);

DATA COLLECTION; IMPLEMENTATION; INDUSTRIAL CONTROLLERS; LABORATORY FACILITIES; MODEL BASED TECHNIQUES; MODEL LANGUAGES; ORIGINAL SYSTEMS; PRACTICAL ISSUES;

DISCRETE EVENT SIMULATION;

EID: 78649663733     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

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 free-labeled 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. (Pubitemid 46298201)
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. (Pubitemid 126782836)