Title :
Observer design for free choice Continuous timed Petri nets with infinite servers semantics
Author :
Aguayo-Lara, Enrique ; Gómez-Gutiérrez, David ; Ramírez-Treviño, Antonio ; Ruiz-León, Javier
Author_Institution :
Unidad Guadalajara, CINVESTAV-IPN, Zapopan, Mexico
Abstract :
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.
Keywords :
Petri nets; linear systems; observers; ContPN observer design; Luenberger observer; free choice continuous timed Petri nets; infinite servers semantics; join transitions; observer design; switched linear system; Equations; Linear systems; Observability; Observers; Servers; Tin; Vectors; Continuous Timed Petri Nets; Infinite server semantics; Observers Design;
Conference_Titel :
Electrical Engineering Computing Science and Automatic Control (CCE), 2011 8th International Conference on
Conference_Location :
Merida City
Print_ISBN :
978-1-4577-1011-7
DOI :
10.1109/ICEEE.2011.6106582