A Set Covering Approach to Design Maximally Permissive Supervisors for Flexible Manufacturing Systems-Reference-Cited by-同舟云学术

A Set Covering Approach to Design Maximally Permissive Supervisors for Flexible Manufacturing Systems

Published:2024-05-29 Issue:11 Volume:12 Page:1687
ISSN:2227-7390
Container-title:Mathematics
language:en
Short-container-title:Mathematics

Author:

Li Yongyao¹,Chen Yufeng¹^ORCID,Zhou Rui²¹

Affiliation:

1. Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China

2. Waytous Inc., Shenzhen 518131, China

Abstract

The supervisory control of Petri nets aims to enforce the undesired behavior as unreachable by designing a set of control places. This work presents a set cover approach to design maximally permissive supervisors. For each first-met bad marking, an integer linear programming problem is developed to obtain a control place to prohibit it. An objective function is formulated to make the maximal number of first-met bad markings forbidden. Then, we develop a set covering approach to minimize the number of selected control places. The proposed approach can guarantee the maximal permissiveness of the obtained supervisor and provide a trade-off between structural complexity and computational cost. Several examples are considered to validate the proposed method.

Funder

International S&T Cooperation Projects in Huangpu District

Zhuhai Industry-University-Research Project with Hongkong and Macao

Science and Technology Development Fund

Program of Guangdong

Publisher

MDPI AG

Link

https://www.mdpi.com/2227-7390/12/11/1687/pdf

Reference48 articles.

1. Observer-based state-feedback control of timed Petri nets with deadlock recovery;Giua;IEEE Trans. Autom. Control,2004

2. Siphon-based deadlock prevention for flexible manufacturing systems;Huang;IEEE Trans. Syst. Man Cybern. Part A,2006

3. Zhou, M.C., and Fanti, M.P. (2005). Deadlock Resolution in Computer-Integrated Systems, Marcel-Dekker Inc.

4. A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems;Kumaran;Int. J. Prod.,1994

5. Tricas, F., Garcia-Valles, F., Colom, J.M., and Ezpeleta, J. (2005, January 18–22). A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. Proceedings of the IEEE Transactions Conference on Robotics and Automation, Barcelona, Spain.