Required Event Sequences for Identification of Discrete Event Systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 2003, Pages 3778-3783

  Meda Campaña, María E ^a   López Mellado, Ernesto ^b  

^a UNIVERSITY OF GUADALAJARA   (Mexico)

^b DEPARTAMENTO DE FÍSICA   (Mexico)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; FINITE AUTOMATA; LEGACY SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

DISCRETE EVENT SYSTEMS (DES); INTERPRETED PETRI NETS (IPN);

IDENTIFICATION (CONTROL SYSTEMS);

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

References (15)

1. 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.
2. D. Angluin. Inductive Inference of Formal Languages from Positive Data. Information and Control. Vol. 45, pp. 117-135. 1980.
3. P. Darondeau and L. Bernardinello, Polynomial algorithms for the synthesis of bounded nets, Proceedings of CAAP'95, Springer Verlag LNCS 915 (364-378), 1995.
4. Javier Esparza and Jörg Desel. Free Choice Petri Nets. Cambridge University Press 1995.
5. E. M. Gold. Complexity of Automaton Identification from Given Data. Information and Control, Vol. 37, pp. 302-320. 1978.
6. K. Hiraishi. Construction of Safe Petri Nets by Presenting Firing Sequences. Lectures Notes in Computer Sciences, 616, pp. 244-262. 1992.
7. M.E.Meda & A. Ramírez. Identification in Discrete Event Systems. IEEE-Systems Man and Cybernetics Conference, San Diego Ca., USA, pp. 747-745. 1998.
8. 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.
9. M.E. Meda-Campaña, A. Ramírez-Treviño and E. López-Mellado. Asymptotic Identification for DES. IEEE International Conference on Decision and Control. Sydney, Australia. December 2000.
10. M.E. Meda-Campaña and E. López-Mellado. A passive method for on-line identification of Discrete Event Systems. IEEE International Conference on Decision and Control. Orlando Fl. USA. December 2001.
11. M.E. Meda-Campaña and E. López-Mellado. Incremental synthesis of Petri net models for identification of discrete event systems. IEEE International Conference on Decision and Control. Las Vegas, NV. USA. December 2002.
12. T. Murata. Synthesis of Decision-free Concurrent Systems for Prescribed Resources and Performance. IEEE Trans. on Software Engineering, Vol. SE-6, No. 6, 525-530, 1980.
13. A. Ramírez-Treviño, I. Rivera-Rangel and E. López-Mellado. Observer Design for Discrete Event Systems Modeled by Interpreted Petri Nets. To appear in the Proceedings of the IEEE International Conference on Robotics and Automation in February 2000.
14. J. Peterson. Petri net theory and the modelling of systems, Prentice hall inc., Englewood Clifs, New Jersey 07632
15. Manuel Silva. Las Redes de Petri: en la Automática y la Informática. Editorial AC. 1985