Incremental synthesis of petri nets models for identification of discrete event systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2002, Pages 805-810

  Meda Campana M E ^a   Lopez Mellado E ^a  

^a DEPARTAMENTO DE FÍSICA   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

IDENTIFICATION (CONTROL SYSTEMS); LEARNING ALGORITHMS; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; VECTORS;

DISCRETE EVENT SYSTEMS; IDENTIFICATION PROBLEM; PETRI NET MODELS;

DISCRETE TIME CONTROL SYSTEMS;

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

References (13)

1. D. Angluin. Inference of Reversible Languages. Journal of the Association for Computing Machinery, Vol. 29, No. 3, July 1982, pp. 741-765
2. John. E. Hopcroft and Jefrey D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley Publishing Company. 1979
3. E. Mark Gold. Complexity of Automation Identification from Given Data. Information and Control, Vol. 37, pp. 302-320. 1978
4. Manuel Silva. Las Redes de Petri: en la Automática y la Informatática. Editorial AC. 1985
5. Kunihico Hiraishi. Construction of Safe Petri Nets by Presenting Firing Secuences. Lecture Notes in Computer Sciences, 616, pp. 244-262. 1992.
6. M.E. Meda & A. Ramirez. Identification in Discrete Event Systems. IEEE-Systems Man and Cybernetics Conference, SanDiego CA., USA, pp. 743-747. 1998.
7. T. Murata. Sythesis of Decision-free Concurrent Systems for Prescribed Resources and Performance. IEEE Trans. on Software Engineering, Vol. SE-6, No. 6, 525-530, 1980.
8. J.L. Peterson. Petri net theory and the modelling of systems, Prentice hall inc., Englewood Clifs, New Jersey 07632.
9. Javier Esparza and Jörg Desel. Free Choice Petri Nets. Cambridge University Press 1995.
10. L. Aguirre, A. Ramírez & O. Begovich. Design of Asymptotic Observers for Discrete Event Systems. Proceedings of the IASTED International Conference on Intelligent Systems and Control. Santa Barbara Ca., USA 1999.
11. M.E. Meda-Campaña, A. Ramírez-Treviño and E. López-Mellado. Dynamical local properties for estimation and control of discrete event systems modeled by interpreted Petri. 2000 IEEE International Conference on Systems, Man and Cybernetics. Nashville Tn, USA. October 2000.
12. M. E. Meda-Campaña, A. Ramirez-Treviño and E. López-Mellado. Asymptotic Identification for DES. IEEE International Conference on Decision and Control. Sydney, Australia. December 2000.
13. M.E. Meda-Camapaña and E. López-Mellado. A passice method for on-line identification of Discrete Event Systems. IEEE International Conference on Decision and Control. Orlando Fl. USA. December 2001.