Observer design for untimed continuous petri nets

Proceedings of the American Control Conference

Volumn , Issue , 2009, Pages 4765-4770

  Mahulea, C ^a   Seatzu, C ^b   Cabasino, M P ^b   Recalde, L ^a   Silva, M ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS PETRI NET; CONTINUOUS SYSTEM; DISCRETE EVENT SYSTEMS; LINEAR-ALGEBRAIC; OBSERVER DESIGN; PETRI NET MODELS; STATE EXPLOSION PROBLEMS; UNOBSERVABLE;

COMPUTATIONAL COMPLEXITY; GRAPH THEORY;

PETRI NETS;

EID: 70449672918     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2009.5159893     Document Type: Conference Paper

References (20)

1. H. Alla and R. David. Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers, 8(1):159-188, 1998.
2. A. Benasser. Reachability in Petri nets: an approach based on constraint programming. PhD thesis, Université de Lille, 2000.
3. M. P. Cabasino, A. Giua, and C. Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions. Auto-matica, (Preliminary accepted).
4. D. Corona, A. Giua, and C. Seatzu. Marking estimation of Petri nets with silent transitions. IEEE Transaction on Automatic Control, 52(9):1695-1699, 2007.
5. K. Fukuda. CDD/CDD+ package. URL http://www.cs.mcgill.ca/̃fukuda/ soft/cdd-home/cdd.html, 1997.
6. A. Giua, D. Corona, and C. Seatzu. State estimation of λ-free labeled Petri nets with contact-free nondeterministic transitions. Discrete Event Dynamic Systems, 15(1):85 - 108, 2005.
7. A. Giua and A. Seatzu. Observability of place/transition nets. IEEE Transactions on Automatic Control, 47(9):1424-1437, 2002.
8. A. Giua and C. Seatzu. Fault detection for discrete event systems using Petri nets with unobservable transitions. In Proc. IEEE 44rd Int. Conf. on Decision and Control, December 2005.
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. A.J. Hoffman and J.B. Kruskal. Integral boundary points of convex polyhedra. In H.W. Kuhn and A.W. Tucker, editors, Linear Inequalities and Related Systems. Annals of Mathematics Studies, volume 38, pages 223-246. Princeton University Press, 1956.
11. J. Júlvez, E. Jiménez, L. Recalde, and M. Silva. On Observability and Design of Observers in Timed Continuous Petri Net Systems. IEEE Trans. on Autom. Science and Engineering, 5(3):532 - 537, 2008.
12. D.G. Luenberger. An introduction to observers. IEEE Transactions on Automatic Control, 16(6):596-602, December 1971.
13. C. Mahulea. Timed Continuous Petri Nets: Quantitative Analysis, Observability and Control. PhD thesis, University of Zaragoza, 2007.
14. C. Mahulea, M.P. Cabasino, A. Giua, and C. Seatzu. A state estimation problem for timed continuous Petri nets. In Proc. of the 46th IEEE Conf. on Decision and Control, New Orleans, LA, USA, December 2007.
15. th IFAC World Congress, Seul, Korea, July 2008.
16. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
17. 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.
18. 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.
19. A. Schrijver. Theory of linear and integer programming. John Wiley & Sons, Inc., New York, NY, USA, 1986.
20. 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.