Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Hu, Hesuan; Liu, Yang; Yuan, Ling

doi:10.1109/tcst.2015.2420619

Cited by 38 publications

(9 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Moreover, it is true that no maximal emptiable siphon exists in a bounded net system (N , M 0 ) if no solution exists for the MIP problem (1)- (8).…”

Section: B Emptiable Siphon Computation By Mip [22]mentioning

confidence: 99%

“…corresponding to S such that ∀p ∈ P, v p = 0 iff p ∈ S . Since S is an emptiable siphon, V P is a solution to constraints (2)- (8). Since S has fewer activity places and at the same time contains the same number of resource places, it is trivial to see that Proof: Since no solution exists for MMIP-1, it means that the solution space of constraints (2)-(8) is empty.…”

Section: Volume 7 2019mentioning

confidence: 99%

See 1 more Smart Citation

A Siphon-Based Deadlock Prevention Strategy for S³PR

et al. 2019

View full text Add to dashboard Cite

Iterative deadlock prevention strategies based on siphons have drawn increasing attention. For iterative strategies, selecting which siphon to control at each iteration has an influence on the final supervisor in structural complexity, computational complexity, and behavioral permissiveness. In this paper, we define two kinds of emptiable siphons and provide two modified mixed-integer programming (MIP) formulations to compute such siphons. On the basis of them, a three-stage iterative deadlock prevention policy that specifies the siphon control order is proposed. The experimental results show that a supervisor with a simpler structure, higher behavioral permissiveness, and lower computational complexity can be obtained by the proposed strategy since neither the exhaustive siphon enumeration nor the reachability analysis is required. INDEX TERMS Deadlock prevention, discrete event systems, mixed integer programming, Petri nets.

show abstract

“…Moreover, it is true that no maximal emptiable siphon exists in a bounded net system (N , M 0 ) if no solution exists for the MIP problem (1)- (8).…”

Section: B Emptiable Siphon Computation By Mip [22]mentioning

confidence: 99%

Section: Volume 7 2019mentioning

confidence: 99%

A Siphon-Based Deadlock Prevention Strategy for S³PR

et al. 2019

View full text Add to dashboard Cite

show abstract

“…SCT [27,28], also known as Ramadge-Wonham (RW) framework, is a method for synthesising supervisors that restrict the behaviour of a plant such that the given control specifications are fulfiled and never violated. Currently, SCT has been developed with a solid theoretical foundation [29][30][31], and it has been successfully applied to practical systems such as flexible manufacturing systems [32][33][34][35] and patient support systems [36]. A recent overview can be found in [37].…”

Section: Introductionmentioning

confidence: 99%

“…2 Iss. 1, pp [31][32][33][34][35][36][37][38][39][40][41][42]. This is an open access article published by the IET and Zhejiang University Press under the Creative Commons Attribution License (http://creativecommons.org/licenses/by/3.0/)…”

mentioning

confidence: 99%

Failsafe mechanism design of multicopters based on supervisory control theory

Quan

Zhao

Lin

et al. 2020

IET cyber-systems robotics

View full text Add to dashboard Cite

In order to handle undesirable failures of a multicopter which occur in either the pre-flight process or the in-flight process, a failsafe mechanism design method based on supervisory control theory is proposed for the semi-autonomous control mode 1 . Failsafe mechanism is a control logic that guides what subsequent actions the multicopter should take, by taking account of real-time information from guidance, attitude control, diagnosis, and other low-level subsystems. In order to design a failsafe mechanism for multicopters, safety issues of multicopters are introduced.Then, user requirements including functional requirements and safety requirements are textually described, where function requirements determine a general multicopter plant, and safety requirements cover the failsafe measures dealing with the presented safety issues. In order to model the user requirements by discrete-event systems, several multicopter modes and events are defined.On this basis, the multicopter plant and control specifications are modeled by automata. Then, a supervisor is synthesized by monolithic supervisory control theory. In addition, we present three examples to demonstrate the potential blocking phenomenon due to inappropriate design of control specifications. Also, we discuss the meaning of correctness and the properties of the obtained supervisor. This makes the failsafe mechanism convincingly correct and effective. Finally, based on

show abstract

“…Thus, they successfully achieved deadlock prevention by controlling all SMSs. Furthermore, a well-known S 3 PR net described in [25] are often used to illustrate and compare the effectiveness of control strategies [7], [9], [14], [23]- [25], [27], [29], [32]- [38]. However, their policy [25] requires the enumeration of all siphons, which is exponential computational complexity.…”

Section: Introductionmentioning

confidence: 99%

An MIP-Based Deadlock Prevention Policy for Siphon Control

et al. 2019

View full text Add to dashboard Cite

Siphon plays essential role in the occurrence of deadlocks for the flexible manufacturing system (FMS) modeled by Petri nets. For siphon-basedadeadlockapreventionastrategies, the selection of a siphon to be controlled in each iteration may affect the number of permissive behaviors and theastructuralacomplexity ofathe controlledasystem. Foraaaclass of Petri nets called systems of sequential systems with shared resources (S 4 PR), an iterative policy based on mixed integer programming (MIP) is introduced in this paper. In each iteration, a minimal bad siphon (MBS) with minimum number of places and resources is derived to control. Some experiments show that the resultant system obtained by the proposed strategy has simpler structure and more permissive behaviors than those obtained from existing methods. Meanwhile, the computational complexity of the policy is low because the complete state and siphon enumeration are avoided. INDEX TERMS Deadlock, siphon, iterative, MIP.

show abstract

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Cited by 38 publications

References 30 publications

A Siphon-Based Deadlock Prevention Strategy for S³PR

A Siphon-Based Deadlock Prevention Strategy for S³PR

Failsafe mechanism design of multicopters based on supervisory control theory

An MIP-Based Deadlock Prevention Policy for Siphon Control

Contact Info

Product

Resources

About

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets

Cited by 38 publications

References 30 publications

A Siphon-Based Deadlock Prevention Strategy for S3PR

A Siphon-Based Deadlock Prevention Strategy for S3PR

Failsafe mechanism design of multicopters based on supervisory control theory

An MIP-Based Deadlock Prevention Policy for Siphon Control

Contact Info

Product

Resources

About

A Siphon-Based Deadlock Prevention Strategy for S³PR

A Siphon-Based Deadlock Prevention Strategy for S³PR