Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources
Open Access
- 12 July 2021
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Access
- Vol. 9, 100264-100278
- https://doi.org/10.1109/access.2021.3096595
Abstract
In recent years, there has been a growing concern for robust supervisory control policies that can handle both deadlock and blockage propagation in automated manufacturing systems in the event of resource failures. This work proposes a novel robust supervisory control policy for automated manufacturing systems with multiple unreliable resources without using central buffers. The policy permits legal states as many as possible and ensures that parts not requiring unreliable resources can be automatically processed without human intervention if one or multiple unreliable resources fail. It is based on the modified neighborhood policy, namely single route neighborhood, which handles the allocation of failure-prone resources in a system. To guarantee deadlock-free operations in the remaining parts of the system, monitors are designed for emptiable strictly minimal siphons. Through examples, the applicability of the proposed policy is demonstrated.Funding Information
- Natural Science Foundation of Shaanxi Province (2019JM-049)
- National Natural Science Foundation of China (61873342, 61304051)
This publication has 54 references indexed in Scilit:
- Robust supervisory control for avoiding deadlocks in automated manufacturing systems with one specified unreliable resourceTransactions of the Institute of Measurement and Control, 2013
- Robust supervisory control policy for avoiding deadlock in automated manufacturing systems with unreliable resourcesInternational Journal of Production Research, 2013
- Necessary and sufficient liveness condition of GS3PR Petri netsInternational Journal of Systems Science, 2013
- Control policy for a subclass of Petri nets without reachability analysisIET Control Theory & Applications, 2013
- Resource failure and blockage control for production systemsInternational Journal of Computer Integrated Manufacturing, 2011
- Guidelines for implementing robust supervisors in flexible manufacturing systemsInternational Journal of Production Research, 2009
- An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systemsInternational Journal of Production Research, 2006
- Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2004
- Robustness of deadlock avoidance algorithms for sequential processesAutomatica, 2003
- Design of a live and maximally permissive petri net controller using the theory of regionsIEEE Transactions on Robotics and Automation, 2003