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

All Science Journal Classification (ASJC) codes

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

Fingerprint Dive into the research topics of 'On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems'. Together they form a unique fingerprint.

Cite this