TY - GEN
T1 - On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems
AU - Li, Zhi Wu
AU - Chen, Yu Feng
AU - Zhou, Meng Chu
PY - 2011
Y1 - 2011
N2 - Given a set of forbidden states in a plant model, an optimal Petri net supervisor is developed. The optimality is twofold. First, it provides a minimal supervisory control structure in the sense of the number of monitors that are used to prevent the occurrences of the forbidden states in a plant model. A monitor is designed by associating a P-semiflow with other places in the plant. Second, the supervisor is maximally permissive, i.e., no admissible state is excluded. If a maximally permissive supervisor does not exist, a most permissive supervisor can be similarly designed. A partial reachability graph of a plant is generated by considering the given forbidden states, from which first-met bad markings are then identified. Integer linear programming problems are employed to offer monitor solutions to ensure that the first-met bad markings are not reachable. Generalized mutual exclusion constraints are considered in this work.
AB - Given a set of forbidden states in a plant model, an optimal Petri net supervisor is developed. The optimality is twofold. First, it provides a minimal supervisory control structure in the sense of the number of monitors that are used to prevent the occurrences of the forbidden states in a plant model. A monitor is designed by associating a P-semiflow with other places in the plant. Second, the supervisor is maximally permissive, i.e., no admissible state is excluded. If a maximally permissive supervisor does not exist, a most permissive supervisor can be similarly designed. A partial reachability graph of a plant is generated by considering the given forbidden states, from which first-met bad markings are then identified. Integer linear programming problems are employed to offer monitor solutions to ensure that the first-met bad markings are not reachable. Generalized mutual exclusion constraints are considered in this work.
KW - Petri net
KW - discrete event system
KW - forbidden state problem
KW - generalized mutual exclusion constraint
UR - http://www.scopus.com/inward/record.url?scp=83755178621&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=83755178621&partnerID=8YFLogxK
U2 - 10.1109/ICSMC.2011.6083756
DO - 10.1109/ICSMC.2011.6083756
M3 - Conference contribution
AN - SCOPUS:83755178621
SN - 9781457706523
T3 - Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
SP - 832
EP - 837
BT - 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest
T2 - 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011
Y2 - 9 October 2011 through 12 October 2011
ER -