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

Document Type

Conference Proceeding

Publication Date

12-23-2011

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. © 2011 IEEE.

Identifier

83755178621 (Scopus)

ISBN

[9781457706523]

Publication Title

Conference Proceedings IEEE International Conference on Systems Man and Cybernetics

External Full Text Location

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

ISSN

1062922X

First Page

832

Last Page

837

This document is currently not available here.

Share

COinS