Near-optimal and minimal PN supervisors of FMS with uncontrollability and unobservability

Document Type

Conference Proceeding

Publication Date

11-27-2017

Abstract

For flexible manufacturing systems, this paper presents a Petri net based deadlock prevention method to obtain highly permissive and structurally minimal supervisors in the presence of uncontrollable and unobservable transitions. First, we define admissible markings which form a maximal strongly connected component (SCC) containing the initial marking and not leading outside the SCC uncontrollably. Then, an integer linear programming problem is formulated to construct a supervisor which permits all admissible markings and forbids all the very first inadmissible states from the admissible zone. It also ensures that no uncontrollable transitions are controlled and no unobservable ones are observed by the supervisor. The method can be applied to the plant nets whose crucial transitions are uncontrollable and/or unobservable. In addition, the obtained supervisors are deadlock-free, highly permissive, and structurally minimal in the presence of controllability and observability.

Identifier

85044369024 (Scopus)

ISBN

[9781538616451]

Publication Title

2017 IEEE International Conference on Systems Man and Cybernetics Smc 2017

External Full Text Location

https://doi.org/10.1109/SMC.2017.8123211

First Page

3715

Last Page

3720

Volume

2017-January

Grant

61640020

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS