Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources

Feng, Yanxiang; Xing, Keyi; Gao, Zhenxin; Wu, Yunchao

doi:10.1109/tsmc.2016.2558106

Cited by 56 publications

(54 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Among the three robust controller in Feng et al, 16 Wu et al, 21 and this work, Feng et al 16 is only suitable for one unit failure case, when multiple resources are failed, such as in this example, the controller in Feng et al could not prevent all BSs, which causes a lot of restrictions on the application of the controller. Wu et al 21 can only achieve 7885 reachable markings, and owing to the fact that all of the output arcs of its control places are pointed to the source transitions, the restrictions of the controller are too strict, and many safe states are prohibited, in this case its control performance is not very good.…”

Section: Robust Supervisor For Us 3 Pr Withk-resourcesmentioning

confidence: 95%

“…Many other researchers have also studied this kind of system and have achieved some results. 15,20,[22][23][24] While for another kind of AMS, 16,17,19,21 resource types are modeled as machines, one resource type may contain multiple machines. For this kind of AMS, Hsieh 17 analyzed the fault-tolerant property of controlled assembly PNs and proposed an algorithm to handle unavailability of resources.…”

Section: Introductionmentioning

confidence: 99%

“…Liu et al 19 used recovery subnets to describe the resource failure and recovery in system of simple sequential processes with resources (S 3 PR) with unreliable resources. Based on the concept of transition cover, 2 Feng et al 16 obtained a 1-robust PN controller for S 3 PR with a single unreliable resource, and it can ensure that the system can process all types of parts infinitely even if one of unreliable resources fails. Wu et al 21 reports a novel approach to obtain a 1-robust controller such that the controlled system can still work normally even if one resource failure happens.…”

Section: Introductionmentioning

confidence: 99%

“…The class of AMSs considered in this article is the same as Feng et al 16 and Wu et al, 21 but the performance of the proposed controller is better than that of controllers in Feng et al 16 and Wu et al 21 The controller proposed in this article permits more reachable markings than controllers in Feng et al 16 and Wu et al 21 Meanwhile, the proposed controller has a higher RL, up to C(r u )21, while controllers in Feng et al 16 and Wu et al 21 have only 1, that is, they only considered the case where one unit of unreliable resources may fail.…”

Section: Introductionmentioning

confidence: 99%

See 3 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

Section: Robust Supervisor For Us 3 Pr Withk-resourcesmentioning

confidence: 95%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 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

show abstract

“…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.…”

Section: Introductionmentioning

confidence: 99%

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

Luo

Xing

Zhou

2018

Asian Journal of Control

Self Cite

View full text Add to dashboard Cite

This work studies the deadlock and blockage control problem of an automated manufacturing system (AMS) with a single unreliable resource. It aims to develop a robust control policy to ensure that AMS can produce all parts in the absence of resource failures, and when the unreliable resource fails, the system can continuously produce all parts that do not require the failed resource. To this end, we divide the system into two regions, continuous and non-continuous, based on whether all parts in them can be produced continuously or not. For the non-continuous region, dominating region constraints are established to ensure that all parts in it do not block the production of parts in the continuous region, and an optimal deadlock avoidance policy based on a Petri net model is introduced to guarantee its deadlock-free operation. For the continuous region, we configure a resource order policy to ensure the smooth productions of AMS. By integrating the dominating region constraints and deadlock avoidance policy with the configured resource order policy, we propose a novel robust control policy. It is proven to be of polynomial complexity and more permissive than the existing one with the same resource order policy. Also, it is tested to be more permissive than other existing policies. φ(r s )∩φ(r t ) = ∅, ∀r s , r t ∈R F such that s ≠ t.Proof. Suppose that p jk ∈φ(r s )∩φ(r t ) for s ≠ t. Since p jk ∈φ(r s ), for some c ≥ 0, ρ(p j(k+c) ) = r s and p jk ∈φ(p j(k+c) ). Also, for some d ≥ 0, ρ(p j(k+d) ) = r t and p jk ∈φ(p j(k+d) ). Since r s , r t ∈R F , for some e ≥ c, d, ρ(p j(k+e) ) = r u . Without loss of generality, suppose that 0 ≤ c < d ≤ e. p jk ∈φ(p j(k+d) ) implies that ∀v∈[k, k + d), ρ(p jv )∉R F . This is a contradiction, since (k + c)∈[k, k + d) and ρ(p j(k+c) ) = r s ∈R F . ■We can easily prove the following properties. Property 3. Movements of parts within a dominating set do not violate Δ 1 . Property 4. Movements of parts out of N f do not violate Δ 1 . Theorem 5. Let S be an AMS, (N, M 0 ) be its buffer net, and (N f , M f 0 ) = (P f ∪R F , T f , F f , M f 0 ) be its FBS. Given M∈R(N, M 0 , Δ 1 ), let M f = ϒ (M) and ς(M) = {t | t ∈T f , M f [t>M f1 ∈R(N f , M f 0 , ς)}. If λ = 1 and ∀p∉P F , M(p) = 0, then ς(M) ≠ ∅and ∀t∈ς(M), t ∈ D M ð Þ = {t | t ∈T f , M[t>M 1 ∈R(N, M 0 , D)}. Proof. By Theorems 2 and 4, ς is a DAP for (N f , M f 0 ), and thus ς(M) ≠ ∅. Suppose that ∃t∈ς(M) but t ∉D(M). We consider two cases a) t is not enabled at M in N and b) firing t at M violates D. Case a) t is not enabled at M in N. Since M f [t>M f1 , M f ( (a) t) > 0. Since M f =ϒ (M), M(p) = M f (p) holds for p ∈P f . Hence, M( (a) t) > 0. Thus, t is not resource-enabled at M in N, that is, M(r 1 ) = 0, where r 1 = (r) t in N. If r 1 ∈R F and (r 1 , t)∈N f , then M(r 1 ) > 0 since M f (r 1 ) > 0 (M f [t>)and by Lemma 1, M(r 1 ) ≥ M f (r 1 ). Thus r 1 ∈R F and (r 1 , t) ∉N f . In this situation, firing t means moving a part within a dominating set. According to Property 3, M f1 (φ(r 1 )) = M f (φ(r 1 )). Since M∈R(N, M 0 , Δ ...

show abstract

References

2020

Supervisory Control and Scheduling of Resource Allocation Systems

View full text Add to dashboard Cite

Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources

Cited by 56 publications

References 32 publications

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

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

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

References

Contact Info

Product

Resources

About