On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems

Zhi Wu Li; Yu Feng Chen; Mengchu Zhou

doi:10.1109/ICSMC.2011.6083756

On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems

Zhi Wu Li, Yu Feng Chen, Mengchu Zhou

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Scopus citations

Abstract

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.

Original language	English (US)
Title of host publication	2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest
Pages	832-837
Number of pages	6
DOIs	https://doi.org/10.1109/ICSMC.2011.6083756
State	Published - Dec 23 2011
Event	2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Anchorage, AK, United States Duration: Oct 9 2011 → Oct 12 2011

Other

Other	2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011
Country/Territory	United States
City	Anchorage, AK
Period	10/9/11 → 10/12/11

All Science Journal Classification (ASJC) codes

Electrical and Electronic Engineering
Control and Systems Engineering
Human-Computer Interaction

Access to Document

10.1109/ICSMC.2011.6083756

Cite this

@inproceedings{49fcfc42a09c4ef38bf231f851c1cb1c,

title = "On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems",

abstract = "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.",

author = "Li, {Zhi Wu} and Chen, {Yu Feng} and Mengchu Zhou",

year = "2011",

month = dec,

day = "23",

doi = "10.1109/ICSMC.2011.6083756",

language = "English (US)",

isbn = "9781457706523",

pages = "832--837",

booktitle = "2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest",

note = "2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 ; Conference date: 09-10-2011 Through 12-10-2011",

}

Li, ZW, Chen, YF & Zhou, M 2011, On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems. in 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest., 6083756, pp. 832-837, 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011, Anchorage, AK, United States, 10/9/11. https://doi.org/10.1109/ICSMC.2011.6083756

On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems. / Li, Zhi Wu; Chen, Yu Feng; Zhou, Mengchu.
2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest. 2011. p. 832-837 6083756.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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, Mengchu

PY - 2011/12/23

Y1 - 2011/12/23

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.

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

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 -

On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems

Abstract

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this