A state estimation problem for timed continuous Petri nets

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2007, Pages 1770-1775

  Mahulea, Cristian ^a   Cabasino, Maria Paola ^b   Giua, Alessandro ^b   Seatzu, Carla ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; DISCRETE EVENT SIMULATION; PETRI NETS; PROBLEM SOLVING; SEMANTICS;

STATE ESTIMATION PROBLEMS; TIME REACHABILITY ANALYSIS;

STATE ESTIMATION;

EID: 62749142511     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2007.4435036     Document Type: Conference Paper

References (15)

1. H. Alla and R. David. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers, 8(1): 159-188, 1998.
2. F. Balduzzi, A. Giua, and C. Seatzu. Modelling and simulation of manufacturing systems with first-order hybrid Petri nets. Int. J. of Production Research, 39(2):255-282, 2001. Special Issue on Modelling, Specification and analysis of Manufacturing Systems.
3. F. Balduzzi, G. Menga, and A. Giua. First-order hybrid Petri nets: a model for optimization and control. IEEE Trans. on Robotics and Automation, 16(4):382-399, 2000.
4. A. Benasser. Reachability in Petri nets: an approach based on constraint programming. PhD thesis, Université de Lille, 2000.
5. D. Corona, A. Giua, and C. Seatzu. Marking estimation of Petri nets with silent transitions. IEEE Transaction on Automatic Control.
6. R. David and H. Alia. Discrete, Continuous and Hybrid Petri Nets. Springer-Verlag, 2005.
7. A. Giua, D. Corona, and C. Seatzu. State estimation of A-free labeled Petri nets with contact-free nondeterministic transitions. Discrete Event Dynamic Systems, 15(1):85 - 108, 2005.
8. A. Giua and A. Seatzu. Observability of place/transition nets. IEEE Transactions on Automatic Control, 47(9): 1424-1437, September 2002.
9. A. Giua, C. Seatzu, and F. Basile. Observer-based state feedback control of timed Petri nets with deadlock recovery. IEEE Transaction on Automatic Control, 49(1): 17-29, 2004.
10. th International Conference on Application and Theory of Petri Nets (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science, pages 221-240. Springer, Eindhoven, The Netherlands, June 2003.
11. C. Mahulea. Timed Continuous Petri Nets: Quantitative Analysis, Observability and Control. PhD thesis, University of Zaragoza, 2007.
12. A. Ramirez-Trevino, I. Rivera-Rangel, and E. Lopez-Mellado. Observability of discrete event systems modeled by interpreted Petri nets. IEEE Trans. on Robotics and Automation, 19(4):557-565, 2003.
13. L. Recalde, E. Teruel, and M. Silva. Autonomous continuous P/T systems. In J. Kleijn S. Donatelli, editor, Application and Theory of Petri Nets 1999, volume 1639 of Lecture Notes in Computer Science, pages 107-126. Springer, 1999.
14. Y. Ru and C. N. Hadjicostis. State estimation in discrete event systems modeled by labeled Petri nets. San Diego, California USA, 2006.
15. M. Silva and L. Recalde. On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control, 28(2):253-266, 2004.