State estimation in discrete event systems modeled by labeled Petri Nets

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2006, Pages 6022-6027

  Ru, Yu ^a   Hadjicostis, Christoforos N ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION; MATHEMATICAL MODELS; POLYNOMIALS; PROBLEM SOLVING;

PETRI NET STATE; UNOBSERVABLE TRANSITIONS;

STATE ESTIMATION;

EID: 39649121679     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2006.377126     Document Type: Conference Paper

References (14)

1. A. Giua and C. Seatzu, "Observability of place/transition nets," IEEE Trans. Automat. Contr., vol. 47, pp. 1424-1437, Sept. 2002.
2. A. Giua, C. Seatzu, and F. Basile, "Observer-based state-feedback control of timed Petri nets with deadlock recovery," IEEE Trans. Automat. Contr., vol. 49, pp. 17-29, Jan. 2004.
3. A. Bourjij and D. Koenig, "An original Petri net state estimation by a reduced Luenberger observer," in Proc. of the American Control Conference, San Diego, USA, June 1999, pp. 1986-1989.
4. I. Rivera-Rangel, L. Aguirre-Salas, A. Ramírez-Treviño, and E. López-Mellado, "A Petri net scheme for DES state estimation," in Proc. of the 39th IEEE Conf. on Decision and Control, Sydney, Australia, Dec. 2000, pp. 2260-2265.
5. A. Giua, J. Júlvez, and C. Seatzu, "Marking estimation of Petri nets with pairs of nondeterministic transitions," Asian Journal of Control (Special Issue on the "Control of Discrete Event Systems "), vol. 6, pp. 270-280, June 2004.
6. A. Giua, D. Corona, and C. Seatzu, "State estimation of A-free labeled Petri nets with contact-free nondeterministic transitions," Discrete Event Dynamic Systems: Theory and Applications, vol. 15, pp. 85-108, Mar. 2005.
7. D. Corona, A. Giua, and C. Seatzu, "Marking estimation of Petri nets with silent transitions," in 43rd IEEE Conf. on Decision and Control, Atlantis, Bahamas, Dec. 2004, pp. 966-971.
8. A. Giua and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," in 44th IEEE Conf. on Decision and Control, Seville, Spain, Dec. 2005, pp. 6323-6328.
9. T. Murata, "Petri nets: Properties, analysis and applications," in Proc. of the IEEE, Apr. 1989, pp. 541-580.
10. J.L.Peterson, Petri Net Theory and the Modelling of Systems. New Jersey, USA: Prentice-Hall, 1981.
11. E. F. Beckenbach and R. E. Bellman, Inequalities. New York: Springer-Verlag, 1965.
12. L. E. Holloway, A. S. Khare, and Y. Gong, "Computing bounds for forbidden state reachability functions for controlled Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol. 34, pp. 219-228, Mar. 2004.
13. S. Gene and S. Lafortune, "Distributed diagnosis of discrete-event systems using Petri nets," in 24th Int. Conf. on Applications and Theory of Petri Nets, Lecture Notes in Computer Science Vol. 2679, Eindhoven, The Netherlands, June 2003, pp. 316-336.
14. G. Stremersch, Supervision of Petri Nets. Kluwer Academic Publishers, 2001.