Supervisor Synthesis for FMS Based on Critical Activity Places

Document Type

Article

Publication Date

5-1-2019

Abstract

Solving states separation problems is an important technique to obtain liveness-enforcing and optimal or near-optimal supervisors for flexible manufacturing systems based on Petri nets. It first generates the model's reachability graph and partitions it into a live zone (LZ) and a deadlock zone (DZ). Then, first-met bad markings (FBMs), which exist in DZ and are the very first entries from LZ to DZ, are forbidden by some designed place invariants (PIs) to prevent the system from entering DZ. This paper studies the reduction of the number of places to be considered in such PI designs. First, the concepts of critical transitions and critical activity places are defined, and a fast algorithm is provided to compute them. Then, the proofs of that only critical activity places need to be considered in such PI designs to forbid all FBMs and/or permit all legal markings in LZ are established.

Identifier

85028457748 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Systems

External Full Text Location

https://doi.org/10.1109/TSMC.2017.2732442

e-ISSN

21682232

ISSN

21682216

First Page

881

Last Page

890

Issue

5

Volume

49

Grant

61640020

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS