Observer design for free choice Continuous timed Petri nets with infinite servers semantics

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.