Off-line identification of concurrent discrete event systems exhibiting cyclic behaviour

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2009, Pages 181-186

  Estrada Vargas, Ana P ^a   Lopez Mellado E ^a   Lesage, Jean Jacques ^b  

^a UNIDAD GUADALAJARA   (Mexico)

^b Ecole Normale Superieure de Cachan   (France)

Author keywords

Automated model identification; Discrete event systems; Interpreted petri nets

Indexed keywords

CONCURRENT DISCRETE EVENT SYSTEMS; CYCLIC BEHAVIOUR; CYCLIC SEQUENCES; DISCRETE EVENT SYSTEMS; INPUT OUTPUT MODEL; INPUT-OUTPUT; INTERPRETED PETRI NETS; MODEL IDENTIFICATION; OBSERVED SYSTEMS;

CYBERNETICS; GRAPH THEORY; PETRI NETS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 74849099136     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2009.5346599     Document Type: Conference Paper

References (17)

1. A.W. Biermann and J.A. Feldman, "On the Sysnthesis of Finite-State Machines from Samples of Their Behavior", IEEE Trans. on Computers, Vol. 21, pp. 592-597, 1972
2. M. P. Cabasino, A. Giua, C. Seatzu, "Identification of deterministic Petri nets", Proc. of the 8th International Workshop on Discrete Event Systems, Ann Arbor, Michigan, USA, July 10-12, 2006.
3. M. P. Fanti and C. Seatzu, "Fault diagnosis and identification of discrete event systems using Petri nets", Proc. of the 9th International Workshop on Discrete Event Systems, Göteborg, Sweden, pp. 432-435, May 28-30, 2008
4. A. Giua and C. Seatzu, "Identification of free-labeled Petri nets via integer programming", Proc. of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005, Seville, Spain, December 12-15, 2005
5. E.M. Gold, "Language Identification in the Limit", Information and Control, Vol. 10, pp. 447-474, 1967
6. K. Hiraishi, "Construction of Safe Petri Nets by Presenting Firing Sequences", LNCS, 616, pp. 244-262, 1992
7. H. Ishizaka, "Polynomial Time Learnability of Simple Deterministic Languages", Machine Learning, Vol. 5, pp. 151-164, 1990
8. J. Kella, "Sequential Machine Identification", IEEE Trans. on Computers, Vol. 20, pp. 332-338, 1971
9. S. Klein, L. Litz, J.-J. Lesage, "Fault detection of Discrete Event Systems using an identification approach", 16th IFAC World Congress, CDROM paper n°02643, 6 pages, Praha(CZ), July 4-8, 2005
10. S. Klein, "Identification of Discrete Event Systems for Fault Detection Purposes", Ph. D. Thesis, Ecole Normale Supérieure de Cachan, Oct 2005
11. L.S. Levy and A.K. Joshi, "Skeletal structural descriptions", Information and Control, Vol. 39, pp. 192-211, 1978
12. M.E. Meda, "DES identification using Interpreted Petri nets", International Symposium on Robotics and Automation, pp 353-357, December 1998
13. M. E. Meda-Campaña, "On-line Identification of Discrete Event Systems: Fundamentals and Algorithms for the Synthesis of Petri Net Models", Ph. D. Thesis, CINVESTAV, Unidad Guadalajara, Nov 2002
14. M.E. Meda-Campaña, E. Lopez-Mellado, "Identification of Concurrent Discrete Event Systems using Petri Nets", 2005 IMACS Conference, Paris, France, Jul. 2005
15. Y. Takada, "Grammatical Inference for Even Linear Languages Based on Control Sets", Information Proc. Letters, Vol. 28, pp. 193-199, 1998
16. L.P.J. Veelenturf, "Inference of sequential machines from Sample Computations", IEEE Trans. on Computers, Vol. 27, pp. 167-170, 1978
17. L.P.J. Veelenturf, "An Automata theoretical approach to developing learning neural networks", Cybernetics and Systems, 12, pp. 179-202, 1981