DocumentCode
2584908
Title
Sequence-detectability analysis of interpreted Petri nets under partial state observations
Author
Aguirre-Salas, Luis ; Santoyo-Sanchez, Alejandra
Author_Institution
Univ. de Guadalajara. CUCSur, Autlan, Mexico
fYear
2009
fDate
22-25 Sept. 2009
Firstpage
1
Lastpage
7
Abstract
In this paper we deal with the observability problem in discrete event systems modeled with interpreted Petri nets (IPN) under partial state observations with both silent and indistinguishable transitions. In particular, we study the sequence-detectability property which is a necessary condition for observability. We provide a characterization of sequence-detectability. This characterization takes into account both structural and dynamic aspects of the IPN model.
Keywords
Petri nets; discrete event systems; observability; discrete event systems; interpreted Petri nets; observability problem; partial state observations; sequence-detectability analysis; Actuators; Corona; Discrete event systems; Joining processes; Observability; Observers; Petri nets; Sensor phenomena and characterization; State estimation; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Emerging Technologies & Factory Automation, 2009. ETFA 2009. IEEE Conference on
Conference_Location
Mallorca
ISSN
1946-0759
Print_ISBN
978-1-4244-2727-7
Electronic_ISBN
1946-0759
Type
conf
DOI
10.1109/ETFA.2009.5347117
Filename
5347117
Link To Document