DocumentCode
2012477
Title
Optimal sensor choice for observability in free-choice Petri nets
Author
Aguirre-Salas, L. ; Begovich, O. ; Ramirez-Trevino, A.
Author_Institution
CINVESTAV, Guadalajara, Spain
fYear
2001
fDate
2001
Firstpage
270
Lastpage
275
Abstract
This paper studies the optimal sensor choice for observability problem in discrete event systems (DES) modeled by interpreted free-choice Petri nets (IFCN). Taking advantage of the fact that, event-detectability is a necessary and sufficient condition for observability in live, cyclic and bounded IFCN, a structural characterization of event-detectability and a simple polynomial algorithm to choose a minimal cost sensor configuration for observability in this claw of nets are provided. This algorithm is successfully applied to an illustrative example
Keywords
Petri nets; discrete event systems; observability; optimisation; DES; discrete event systems; event-detectability; interpreted free-choice Petri nets; live cyclic bounded IFCN; necessary and sufficient condition; observability; optimal sensor choice; polynomial algorithm; Automata; Costs; Discrete event systems; Observability; Partitioning algorithms; Petri nets; Polynomials; Sensor phenomena and characterization; Sensor systems; Sufficient conditions;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Control, 2001. (ISIC '01). Proceedings of the 2001 IEEE International Symposium on
Conference_Location
Mexico City
ISSN
2158-9860
Print_ISBN
0-7803-6722-7
Type
conf
DOI
10.1109/ISIC.2001.971520
Filename
971520
Link To Document