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

Zhi Wu Li, Yu Feng Chen, Mengchu Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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 languageEnglish (US)
Title of host publication2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest
Pages832-837
Number of pages6
DOIs
StatePublished - Dec 23 2011
Event2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Anchorage, AK, United States
Duration: Oct 9 2011Oct 12 2011

Other

Other2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011
CountryUnited States
CityAnchorage, AK
Period10/9/1110/12/11

Fingerprint

Supervisory personnel
Discrete event simulation
Petri nets
Linear programming

All Science Journal Classification (ASJC) codes

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

Cite this

Li, Z. W., Chen, Y. F., & 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 (pp. 832-837). [6083756] https://doi.org/10.1109/ICSMC.2011.6083756
Li, Zhi Wu ; Chen, Yu Feng ; Zhou, Mengchu. / On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems. 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest. 2011. pp. 832-837
@inproceedings{590828feda084fcd8f14753bdb4c22c4,
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 = "12",
day = "23",
doi = "https://doi.org/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",

}

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 proceedingConference 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 - https://doi.org/10.1109/ICSMC.2011.6083756

DO - https://doi.org/10.1109/ICSMC.2011.6083756

M3 - Conference contribution

SN - 9781457706523

SP - 832

EP - 837

BT - 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2011 - Conference Digest

ER -

Li ZW, Chen YF, Zhou M. 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. 2011. p. 832-837. 6083756 https://doi.org/10.1109/ICSMC.2011.6083756