Resource failure and buffer space allocation control for automated manufacturing systems

Hao, Yanpeng; Xing, Keyi; Hu, Hesuan; Wu, W.; Su, Hongye

doi:10.1016/j.ins.2018.02.043

Cited by 27 publications

(10 citation statements)

References 47 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The study in [44] combines automata and Petri nets to model, analyze and develop a robust supervisory control for AMSs using a buffer net constraint and generalized neighborhood constraints. The buffer net constraint is constructed using Petri net model.…”

Section: Comparison With Previous Studiesmentioning

confidence: 99%

See 1 more Smart Citation

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

2021

View full text Add to dashboard Cite

In recent years, there has been a growing concern for robust supervisory control policies that can handle both deadlock and blockage propagation in automated manufacturing systems in the event of resource failures. This work proposes a novel robust supervisory control policy for automated manufacturing systems with multiple unreliable resources without using central buffers. The policy permits legal states as many as possible and ensures that parts not requiring unreliable resources can be automatically processed without human intervention if one or multiple unreliable resources fail. It is based on the modified neighborhood policy, namely single route neighborhood, which handles the allocation of failure-prone resources in a system. To guarantee deadlock-free operations in the remaining parts of the system, monitors are designed for emptiable strictly minimal siphons. Through examples, the applicability of the proposed policy is demonstrated.

show abstract

Section: Comparison With Previous Studiesmentioning

confidence: 99%

“…The so-called secondlevel deadlocks caused by the application of the controllers are prevented by the third layer controller. Yue et al [44] utilize both automata and Petri nets to model, analyze and design a supervisory control policy for deadlock/blockage avoidance. However, Petri nets are only used in modeling buffer net constraints.…”

Section: Introductionmentioning

confidence: 99%

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

2021

View full text Add to dashboard Cite

show abstract

“…Unfortunately, policies mentioned above do not pay enough attention to the fact that resources may be unreliable in an actual system [17]- [19], [21], [22], [24], [25], [28], [29], [31]- [33]. Failure-induced deadlocks are a focus of an AMS, especially for highly automated production systems, leading to the research on robust deadlock control.…”

Section: Introductionmentioning

confidence: 99%

“…Recently, a deluge of robust deadlock control methods is proposed by researchers [17]- [19], [21], [22], [24], [25], [28], [29], [31]- [33]. In [17], a robust deadlock control approach is presented, where resource failures and recoveries are modeled with recovery subnets.…”

Section: Introductionmentioning

confidence: 99%

Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources

Li¹,

Liu²,

Li³

et al. 2019

IEEE Access

View full text Add to dashboard Cite

Resources in a real-world automated manufacturing system may be unreliable, thus paralyzing many existing deadlock control strategies. This paper defines robust legal markings and proposes a twostep robust deadlock control policy for systems of the simple sequential process with resources based on elementary siphons. The first step, called elementary siphons control, derives a live controlled system without considering resource failures. The second step deals with failure-induced deadlocks control issues. With resource failures taken into account, recovery subnets modeling resource failures and recoveries are added to the first-step-derived system, which may cause the occurrence of failure-induced deadlocks, resulting in an unreliable controlled system. In order to make the system reliable, the definition that a resource failure is observed by a monitor is developed. A scenario is exposed that a resource failure does not need to be observed while can be observed by the added monitors. Arcs connecting recovery places and transitions of the initial system are added based on the obtained scenario. The concept of the extend the adjoint set of a siphon is presented due to a resource failure that needs to be observed while cannot be observed by the added monitors, leading to the modification of the arcs added in the first step. Consequently, a robust controlled system is acquired. Finally, examples are presented to demonstrate the proposed method. INDEX TERMS Automated manufacturing system, Petri net, deadlock prevention, robust control.

show abstract

“…identification [59], [60], etc. PNs made a large number of significant contributions and are also considered as a good and suitable model for DESs because of their structural compactness, abundant algebraic analysis techniques, and more powerful modeling capabilities compared to automata [42], [44], [45], [58].…”

Section: Introductionmentioning

confidence: 99%

Estimation of Least-Cost Transition Firing Sequences in Labeled Petri Nets by Using Basis Reachability Graph

Hao

Zhou

et al. 2019

IEEE Access

Self Cite

View full text Add to dashboard Cite

This paper develops an approach for solving the problem of least-cost transition firing sequences estimation in labeled Petri nets with unobservable transitions. Each transition in the net is labeled as either observable or unobservable, and has a nonnegative cost. Additionally, we assume that the net system is bounded, the unobservable subnet is acyclic, and the cost of each unobservable transition is strictly positive. We propose the method mainly on the basis of the notions of basis marking and basis reachability graph (BRG), which is a compact representation of the reachability graph of the net system. By sacrificing extra storage space to keep the BRG and other necessary information in memory, some time-consuming computations are moved off-line. This makes our proposed approach more feasible for on-line applications. Finally, we present a brief survey and comparison of some representative methods that use labeled Petri nets as a formalism in the literature. INDEX TERMS Basis reachability graph (BRG), discrete event system (DES), Petri net (PN), transition firing sequence.

show abstract

Resource failure and buffer space allocation control for automated manufacturing systems

Cited by 27 publications

References 47 publications

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources

Estimation of Least-Cost Transition Firing Sequences in Labeled Petri Nets by Using Basis Reachability Graph

Contact Info

Product

Resources

About