Abstract:Supervisory control that ensures deadlock-free and nonblocking operation has been an active research area of manufacturing engineering. So far, most of deadlock control policies in the existing literature assume that allocated resources are reliable. Additionally, a large number of methods are for systems of simple sequential processes with resources (S3PRs), where a part uses only one copy of one resource at each processing step. In contrast, we investigate the automated manufacturing systems (AMSs) that can be modeled by a class of Petri nets, namely S*PUR. S*PUR is a generalization of the S*PR Petri net model, while S*PR is a superclass of S3PR. This work addresses the robust supervision for deadlock avoidance in S*PUR. Specifically, we take into account unreliable resources that may break down while working or being in idle, and the considered AMSs allow the use of multiple copies of different resources per operation stage. Our objective is to control the system so that: 1) when there are breakdowns, the system can continue producing parts of some types whose production does not need any failed resources; and 2) given the correction of all faults, it is possible to complete all the on-going part instances remaining in the system. We illustrate the characteristics of a desired supervisor through several examples, define the corresponding properties of robustness, and develop a control policy that satisfies such properties.

Supervisory control of discrete event systems based on inhibitor arc petri nets:A survey

Supervisory Control Of Discrete-Event Systems Using Enabling Arc Petri Nets

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

Petri Net Cascade Decomposition for Supervisory Control

Supervisor Synthesis For A Class Of Control Problems In Discrete Event Systems

Supervisor design for a class of generalized Petri net with uncontrollable transitions

A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

Control synthesis for a class of controlled Petri nets

Controller design for a class of controlled Petri nets

Non‐blocking Decentralized Control of Discrete Event Systems Based on Petri Nets

Synthesis of logical controllers and discrete-event systems supervisory control theory

Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 2

Constraint Function Based Hierarchical Control of Discrete Event Systems

Supervisor Synthesis for Enforcing Linear Constraints on A Class of Petri Nets with Unobservable Transitions

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

Supervisor Synthesis for a Class of Forbidden State Problems in Petri Nets

Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

Supervisor Synthesis of Petri Net with Uncontrollable Transitions

Supervisory control in discrete event systems: existence and solutions

Dynamical Supervision for a Class of Discrete Event Systems with Concurrent Events

PETRI NET CONTROLLER FOR DISCRETE EVENT SYSTEMS WITH UNCONTROLLABLE TRANSITIONS