Observer design for free choice Continuous timed Petri nets with infinite servers semantics
Enrique Aguayo-Lara, David Gómez‐Gutiérrez, Antonio Ramírez‐Treviño, Javier Ruiz‐León · 2011
This work deals with the observer design problem for Continuous timed Petri nets with infinite server semantics (ContPN). A ContPN can be represented by a Switched Linear System (SLS) which is a family of n Linear Systems (LS) commuting among them. As a first contribution, it is shown that the ContPN can be represented in such a way that the dynamics introduced by Join transitions appears separately from others transitions. Using this ContPN dynamic separation, a single Luenberger observer is introduced, unlike existing approaches, which require one observer for each LS. This work also presents a ContPN observer design, whose structure is the one of the ContPN to be observed extended with additional transitions and places.