On-line identification of discrete event systems by interpreted Petri nets

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

Volumn 4, Issue , 2006, Pages 3040-3045

  Dotoli, Mariagrazia ^a,b   Fanti, Maria Pia ^a,b   Mangini, Agostino Marcello ^b  

^a IEEE   (Italy)

^b POLITECNICO DI BARI   (Italy)

Author keywords

Discrete event systems; Identification; Integer linear programming; Petri nets

Indexed keywords

ALGORITHMS; IDENTIFICATION (CONTROL SYSTEMS); INTEGER PROGRAMMING; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

CORRESPONDING MARKINGS; DES DYNAMICS; IDENTIFICATION PROCEDURE; INTEGER LINEAR PROGRAMMING;

DISCRETE EVENT SIMULATION;

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

References (17)

1. Angluin D., "Learning regular sets from queries and counterexamples", Information and Computation, Vol. 75, pp. 87-106, 1987.
2. Bordeaud'Huy T., Yim P., "Synthèse de rèseaux de Petri à partir d'exigences", Proceedings of the 5th French Conference on Modeling and Simulation, MOSIM'04, Nantes, 8 pages, 2004 (in French).
3. Cassandras C.G., Lafortune S., An Introduction to Discrete Event Systems, Kluwer Academic Publisher, Boston, MA, 1999.
4. Chung S.L., Li C.L., Wu J.C., Wang S.T., "Online modeling refinement for discrete event systems", Proceedings of the IEEE Conference on Systems, Man and Cybernetics, Vol. 3, pp. 2739-2744, 2003.
5. m", Journal of Computer and System Sciences 59, pp. 373-391, 1999.
6. Giua A., Seatzu, C., "Identification of free-labeled Petri nets via integer programming", Proceedings of the 44th IEEE Conference on Decision and Control, pp. 7639-7644, 2005.
7. Giua A., Corona D. and Seatzu C., "State estimation of λ-free labeled Petri nets with contact-free nondeterministic transitions", Journal of Discrete Event Dynamic Systems, Vol. 15, no. 1, pp. 85-108, 2005.
8. Gold E.M., "Complexity of automaton identification from given data", Information and Control, Vol. 37, pp. 117-135, 1980.
9. Hillier F.S., Lieberman G.J., Introduction to Operations Research, Mc Graw Hill, New York, NY, USA, 2005.
10. Hiraishi K., "Synthesis of supervisor for discrete event systems allowing concurrent behavior", IEEE Proceedings, Vol. 5, pp. 13-20, 1999.
11. Meda-Campaña M.E., López-Mellado E., "Incremental synthesis of Petri net models for identification of discrete event systems", Proceedings of the 41st IEEE Conference on Decision and Control, Vol. 1, pp. 805-810, 2002.
12. Murata T., "Petri nets: properties, analysis and applications", IEEE Proceedings, Vol. 77, no. 4, pp. 541-580, 1989.
13. Peterson J.L., Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs, NJ, USA, 1981.
14. Ramirez-Trevino A., Riviera-Rangel I., López-Mellado E., "Observability of discrete event systems modeled by interpreted Petri nets", IEEE Transactions on Robotics and Automation, Vol. 19, no. 4, pp. 557-565, 2003.
15. Sreenivas R.S., "On minimal representations of Petri net languages", Proceedings of the 6th International Workshop on Discrete Event Systems, pp. 237-242, 2002.
16. Supavatanakul P., Falkenberg C., Lunze J., "Identification of timed discrete-event models for diagnosis", Proceedings of the 14th International Workshop on Principles of Diagnosis, Washington D.C., USA, pp. 193-198, 2003.
17. Zadeh L.A., "On the identification problem", IRE Transactions on Circuit Theory, Vol. 3, pp. 277-281, 1956.