Robust supervisory control policy for automated manufacturing systems with a single unreliable resource

Abstract

Over the past two decades, the development of supervisory controllers that guarantee deadlock-free operation for automated manufacturing systems (AMSs) has been an active area of research. Most work to date assumes that the system resources are reliable. This paper focuses on the robust supervisory control problem of AMSs with a single unreliable resource. Our objective is to develop a robust supervisory control policy under which the system can continue producing in the face of the unreliable resource’s failure or recovery. To do so, we integrate an optimal deadlock avoidance policy based on a Petri net with a modified Banker’s Algorithm and present a novel robust supervisory control policy. It is proven to be of polynomial complexity and more permissive than two existing policies. Also, experimental results on a set of AMSs generated randomly indicate its superiority over all other existing policies.

Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets

“…Finally, an overall desired objective can be achieved. Compared with a centralised approach based on structure‐oriented and monolithic specifications [19, 23–25, 27, 30, 35–42], the computational complexity of our policy is reduced extremely.…”

“…In recent years, robust deadlock‐free control for AMSs with unreliable resources has become increasingly popular in the supervisory control area [22–25, 27–43]. However, most of them address robust deadlock issues for AMSs with flexible sequential routes such as automata‐based AMSs [23–25, 27, 35, 36, 39–42], production Petri nets (PPNs) [22], and systems of simple sequential process with resources (S 3 PRs) [30, 34, 38], while little work investigates AMSs with assembly operations. For example, in [31–33], Hsieh investigates a variety of robust deadlock avoidance methods for different Petri nets (PNs) to ensure feasible operations.…”

Optimal enforcement of liveness for decentralized systems of flexible manufacturing systems using Petri nets

“…Systems of simple sequential processes with resources (S 3 PR) are extensively used and adopted in the analysis of an FMS (Bashir et al, 2018a; Chen et al, 2015; Chu and Xie, 1997; Ezpeleta et al, 1995; Giua et al, 1992; Li et al, 2009a, 2009b, 2012; Luo et al, 2016; Luo and Zhou, 2017; Wang et al, 2011; Zhao et al, 2014). An LS 3 PR subclass of S 3 PR Petri net is considered in the proposed paper.…”

“…The main challenges of the study of DES are the occurrence of deadlock. Deadlock can occur due to excessive use of shared resources in the system, which degrades the system performance of DES (Bashir et al, 2016, 2018a; Luo et al, 2016; Wu and Liu, 2017; Ye et al, 2015). The supervisory control of a DES involves the design of the supervisory structure that excludes forbidden states of a system.…”

Deadlock and Blockage Control of Automated Manufacturing Systems with an Unreliable Resource

“…Research results about robust control and fault tolerant control for AMSs with unreliable resources can be found in [2][3][4][7][8][9][10]12,15,17,21,23,[36][37][38][39]. Lawley [10] develops a supervisory control policy for production systems with a single unreliable resource.…”