Efficient optimal deadlock control of flexible manufacturing systems

Han, Lei; Xing, Keyi; Zhou, MengChu; Chen, Xiao; Gao, Zhenxin

doi:10.1049/iet-cta.2016.0010

Cited by 8 publications

(12 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…From Table 1, we can see that the controlled PNs with controllers in Ezpeleta et al, 7 Han et al, 8 and Liu et al 10 have 46, 90, and 20 BSs, respectively. Thus, controllers in Ezpeleta et al, 7 Han et al, 8 and Liu et al 10 are not robust. Although they can prevent all deadlocks, since any of the BSs can cause an unexpected and unpredictable disruption, these controllers are not suitable for real systems with unreliable resources.…”

Section: Robust Supervisor For Us 3 Pr Withk-resourcesmentioning

confidence: 98%

“…This section recalls some basic definitions and properties of PNs, S 3 PRs, and resource-transition circuits (RTCs). The reader is referred to Ezpeleta et al, 7 Han et al, 8 Xing et al, 14 and Zhou and Venkatesh 25 for more details.…”

Section: Basic Definitions Of Pnsmentioning

confidence: 99%

“…In order to show the application of the proposed method for US 3 PR with k-resources, we consider an example shown in Figure 7(a). In Figure 7 Since r 2 is a k-resource, the k-resource elimination method in Definition 4 is used to get a reduced PN, 10 8123 20 3 0 Han et al 8 10,941 90 4 0 Feng et al 16 8152 47 3 1 Wu et al 21 7885 that is, (1) delete r 2 and its related arcs from N; (2) note that in 2r 2 \r 3 , then delete (r 3 , t 3 ) and add (r 3 , t 2 ) from N; similarly, delete (r 1 , t 7 ) and add (r 1 , r 6 ) from the S 3 PR. Meanwhile, r 1 and r 3 are replaced to mr 1 and mr 3 to show that their arcs have been modified.…”

Section: Examplementioning

confidence: 99%

“…An S 3 PR (N, M 0 ) = (P [ P 0 [ P R , T, F, M 0 ) without k-resources contains only two kinds of reachable markings: safe ones and deadlocks. 8 From Lemma 1 we know that in order to avoid deadlocks in an S 3 PR without k-resources, the controller only needs to forbid transitions firing that lead the system from safe markings to deadlocks. Such a controller can be designed as follows.…”

Section: And Subscripts Are Mod Kmentioning

confidence: 99%

“…Majority of deadlock control methods can be classified into two categories, namely, deadlock prevention [7][8][9][10][11]27 and deadlock avoidance. [12][13][14]28 However, in these deadlock control methods mentioned above, all the resources are assumed to be reliable, while realworld AMS may contain unreliable resources.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Robust deadlock control for automated manufacturing systems with a single type of unreliable resources

Xing

Zhou

et al. 2018

Advances in Mechanical Engineering

Self Cite

View full text Add to dashboard Cite

In automated manufacturing systems, resource failures are often inevitable. They reduce the number of available resources and may cause some processing routes of parts to halt and sometimes the whole system to shutdown. This article focuses on the robust deadlock control problem in automated manufacturing systems with multiple resource failures. To obtain such a robust controller, we first put forward a new concept of blocked states of automated manufacturing systems. From such a state, the production of some part types through one of their routes is blocked as caused by resource failures, and only after some failed resources are repaired, these parts can resume their normal processing. Then, these blocked states are characterized in terms of emptied siphons caused by resource failures. In order to prevent the system from deadlocks and blocked states, a robust controller is proposed by the following two steps. First, for siphons without unreliable resources, optimal deadlock control places are added. Then for siphons which contain unreliable resources, new control places are devised to ensure that they could be marked even when resource failures happen. It is proved that the proposed controller can guarantee that all types of parts can be processed repeatedly as long as one unit of unreliable resources can still work. This means that the proposed controller is of greatest robustness, that is, it can tolerate a maximum number of resource failures. Some examples are provided to illustrate the proposed method and show the advantage over the previous ones.

show abstract