@inproceedings{8912fde60c0a432cbebe8dcb4bfe2397,
title = "Near-optimal and minimal PN supervisors of FMS with uncontrollability and unobservability",
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.",
author = "Bo Huang and Pei, {Yan Dong} and Yang, {Yu Wang} and Zhou, {Meng Chu} and Li, {Jian Qiang}",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017 ; Conference date: 05-10-2017 Through 08-10-2017",
year = "2017",
month = nov,
day = "27",
doi = "10.1109/SMC.2017.8123211",
language = "English (US)",
series = "2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "3715--3720",
booktitle = "2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017",
address = "United States",
}