Abstract:In recent years, the research on robust deadlock control has become increasingly popular in automated manufacturing systems (AMSs) because resource failures may lead any system to stagnation, e.g., deadlock. In this article, we study robust supervisory control issues in AMSs with multiple unreliable resources. Petri nets are used to model the considered AMSs that allow multi-quantity and multi-type of resource acquisitions. A set of integer linear programming formulations are introduced to detect a class of deadlocks that have the maximal number of dead transitions. By analysis, a deadlock is characterized by a saturated circuit, which only consists of a set of unmarked resources and a set of critical transitions. Based on the circuit, a linear marking constraint is developed to prevent such circuits from being saturated. A control place (monitor) with its control variable is thus designed for the constraint to prevent the deadlock from appearing even if some resource failures occur. Therefore, we can synthesize a robust deadlock supervisor, which can guarantee that the controlled system can implement the continual operations even if some unreliable resources fail. Finally, the theoretical analysis and comparative study are provided to elucidate the effectiveness and efficiency of our proposed method. Note to Practitioners—In practice, resource failures in automated manufacturing systems (AMSs) are common. Deadlock prevention control in AMSs allowing resource failures has gained more and more attention from researchers and practitioners. Most prior research is based on the enumeration of either siphons or perfect resource transition circuits whose number exponentially increases with the system scale. This means that the synthesized supervisor has a much complex structure. In this article, based on a special kind of circuits at a deadlock marking detected by using a set of mathematical formulations, we develop an effective and eff-cient method for AMSs with multiple unreliable resources to iteratively control deadlocks such that the controlled system can continue to operate smoothly even if some unreliable resources fail. The computational and comparative results show that our proposed approach can acquire more permissive states with a simpler supervisor.

Maximally Permissive Robustness Discovery in Automated Manufacturing Systems With an Unreliable Resource

Petri-net-based Robust Supervisory Control of Automated Manufacturing Systems

Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems with Multiple Unreliable Resources

Resource Failure and Buffer Space Allocation Control for Automated Manufacturing Systems

Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources

Robust supervisory control for automated manufacturing systems with unreliable resources by analyzing reachable state space

Supervisory Control of Deadlock-Prone Production Systems with Routing Flexibility and Unreliable Resources.

Deadlock and Blockage Control for Manufacturing Systems with Failure-Prone Workstations

Robust Stabilization For Networked Control Systems

Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets

Robust deadlock control in automated manufacturing systems with unreliable resources based on an algebraic way

Robustness Improvement for Cyber Physical System Based on an Optimization Model of Interdependent Constraints

Robust Control of Multi-Line Re-Entrant Manufacturing Plants via Stochastic Continuum Models

Modeling, Simulation, and Control of Flexible Manufacturing Systems – A Petri Net Approach; Meng Chu Zhou; Kurapati Venkatesh; Yushun Fan; World Scientific, Singapore, 1999

Robust Optimization on Redundancy Allocation Problems in Multi-State and Continuous-State Series-Parallel Systems

Physics-Constrained Robustness Verification of Intelligent Security Assessment for Power Systems

Trust-Based Petri Net Model for Fault Detection and Treatment in Automated Manufacturing Systems

Mission reliability modeling based on extended RQR chain considering process scheme robustness for multistate manufacturing systems

Availability modeling and optimization of dynamic multi-state series–parallel systems with random reconfiguration

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

An Approach of Robust Reliability Design for Structure System with Multiple Failure Modes