A Comparative Analysis of Recent Identification Approaches for Discrete-Event Systems

Analogous to the identification of continuous dynamical systems, identification of discrete-event systems (DESs) consists of determining the mathematical model that describes the behaviour of a given ill-known or eventually unknown system from the observation of the evolution of its inputs and outputs. First, the paper overviews identification approaches of DES found in the literature, and then it provides a comparative analysis of three recent and innovative contributions.

[1]  Marc Richetin,et al.  Identification of automata by sequential learning , 1984, Pattern Recognit. Lett..

[2]  Mariagrazia Dotoli,et al.  On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification , 2007, 2007 IEEE International Conference on Automation Science and Engineering.

[3]  L. P. J. Veelenturf,et al.  AN AUTOMATA-THEORETICAL APPROACH TO DEVELOPING LEARNING NEURAL NETWORKS , 1981 .

[4]  Jean-Jacques Lesage,et al.  An FDI Method for Manufacturing Systems Based on an Identified Model , 2009 .

[5]  Jean-Jacques Lesage,et al.  FAULT DETECTION OF DISCRETE EVENT SYSTEMS USING AN IDENTIFICATION APPROACH , 2005 .

[6]  C. Seatzu,et al.  Identification of unbounded Petri nets from their coverability graph , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[7]  Muda E. Medu-Campafia.  A passive method for on-line identification of discrete event systems. , 2001 .

[8]  D. Angluin.  Queries and Concept Learning , 1988 .

[9]  Kunihiko Hiraishi.  Construction of a Class of Safe Petri Nets by Presenting Firing Sequences , 1992, Application and Theory of Petri Nets.

[10]  C. Seatzu,et al.  Identification of deterministic Petri nets , 2006, 2006 8th International Workshop on Discrete Event Systems.

[11]  C. Seatzu,et al.  Identification of free-labeled Petri nets via integer programming , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[12]  L. P. J. Veelenturf,et al.  Inference of Sequential Machines from Sample Computations , 1978, IEEE Transactions on Computers.

[13]  Mariagrazia Dotoli,et al.  On-Line Identification of Discrete Event Systems: a Case Study , 2006, 2006 IEEE International Conference on Automation Science and Engineering.

[14]  Ernesto López-Mellado,et al.  Off-line identification of concurrent Discrete Event Systems exhibiting cyclic behaviour , 2009, 2009 IEEE International Conference on Systems, Man and Cybernetics.

[15]  H. Ishizaka.  Polynomial Time Learnability of Simple Deterministic Languages , 1990, Machine Learning.

[16]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, STOC '84.

[17]  Mariagrazia Dotoli,et al.  Real time identification of discrete event systems using Petri nets , 2008, Autom..

[18]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[19]  Jerome A. Feldman,et al.  On the Synthesis of Finite-State Machines from Samples of Their Behavior , 1972, IEEE Transactions on Computers.

[20]  Jehuda Kella.  Sequential Machine Identification , 1971, IEEE Transactions on Computers.

[21]  Stéphane Klein,et al.  Identification of discrete event systems for fault detection purposes , 2005 .

[22]  Jean-Jacques Lesage,et al.  Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems , 2010, Proceedings of the 2010 American Control Conference.

[23]  Thomas Moor,et al.  Supervisory control of hybrid systems via l-complete approximations , 1998 .

[24]  Jean-Jacques Lesage,et al.  Distributed identification of concurrent discrete event systems for fault detection purposes , 2009, 2009 European Control Conference (ECC).

[25]  Carla Seatzu,et al.  Computational complexity analysis of a Petri net identification procedure , 2006 .

[26]  E. Lopez-Mellado,et al.  Asymptotic identification of discrete event systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[27]  E. Lopez-Mellado,et al.  Required event sequences for identification of Discrete Event Systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[28]  Taylor L. Booth,et al.  Sequential machines and automata theory , 1967 .

[29]  E. Lopez-Mellado,et al.  Incremental synthesis of Petri net models for identification of discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[30]  C. Seatzu,et al.  Fault diagnosis and identification of discrete event systems using Petri nets , 2008, 2008 9th International Workshop on Discrete Event Systems.

[31]  Yuji Takada.  Grammatical Interface for Even Linear Languages Based on Control Sets , 1988, Inf. Process. Lett..

[32]  Aravind K. Joshi,et al.  Skeletal Structural Descriptions , 1978, Inf. Control..

[33]  M. Dotoli,et al.  An Optimization Approach for Identification of Petri Nets , 2006, 2006 8th International Workshop on Discrete Event Systems.