Observer design for untimed continuous Petri nets

Continuous Petri nets (conPNs) are an approximation of (discrete) Petri nets (PNs) introduced to cope with the state explosion problem typical of discrete event systems. We consider a free-labeled Petri net model and assume that certain transitions, including all that model faulty behaviors are unobservable, i.e., they are labeled with the empty word. We show how to design a marking observer that consists in a linear algebraic characterization of the set of markings that is consistent with a given observation. For some subclasses of nets the results can be extended to the discrete case where the computational complexity is much bigger than the one of continuous systems.

[1]  D. Luenberger.  An introduction to observers , 1971 .

[2]  Alessandro Giua,et al.  Observer-based state-feedback control of timed Petri nets with deadlock recovery , 2004, IEEE Transactions on Automatic Control.

[3]  Alessandro Giua,et al.  State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions* , 2005, Discret. Event Dyn. Syst..

[4]  Cristian Mahulea,et al.  A state estimation problem for timed continuous Petri nets , 2007, 2007 46th IEEE Conference on Decision and Control.

[5]  Alessandro Giua,et al.  Marking estimation of Petri nets with silent transitions , 2004 .

[6]  Manuel Silva,et al.  On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models , 2003, ADHS.

[7]  Alan J. Hoffman,et al.  Integral Boundary Points of Convex Polyhedra , 2010, 50 Years of Integer Programming.

[8]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

[9]  David K. Smith.  Theory of Linear and Integer Programming , 1987 .

[10]  Manuel Silva Suárez,et al.  On fluidification of Petri Nets: from discrete to hybrid and continuous models , 2003, Annu. Rev. Control..

[11]  René David,et al.  Timed Continuous Petri Nets , 2010 .

[12]  Cristian Mahulea,et al.  Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems , 2008 .

[13]  Manuel Silva Suárez,et al.  Autonomous Continuous P/T Systems , 1999, ICATPN.

[14]  Antonio Ramírez-Treviño,et al.  Observability of discrete event systems modeled by interpreted Petri nets , 2003, IEEE Trans. Robotics Autom..

[15]  Alessandro Giua,et al.  Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[16]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[17]  René David,et al.  Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..

[18]  Manuel Silva Suárez,et al.  On Observability and Design of Observers inTimed Continuous Petri Net Systems , 2008, IEEE Transactions on Automation Science and Engineering.