Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

DOI10.1016/J.AUTOMATICA.2011.01.070MaRDI QIDQ540197zbMATHOpenAlexFDO

Authors YuFeng Chen, Zhiwu Li

Publication date 1 June 2011

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2011.01.070

zbMATH Keywords

Petri netdeadlock preventionfirst-met bad marking (FBM)flexible manufacturing system (FMS)

Mathematics Subject Classification ID

Production models (90B30) Hierarchical systems (93A13) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)

Recommendations

• Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
• On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
• Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• On structural minimality of optimal supervisors for flexible manufacturing systems
• A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
• scientific article; zbMATH DE number 1820096
• Compositional synthesis of maximally permissive supervisors using supervision equivalence

Cites work

• scientific article; zbMATH DE number 978521 (Why is no real title available?)
• scientific article; zbMATH DE number 1836363 (Why is no real title available?)
• scientific article; zbMATH DE number 2221543 (Why is no real title available?)
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Deadlock prevention policy based on Petri nets and siphons
• Feedback control of Petri nets based on place invariants

Cited in

(48)

• Deadlock control for a class of generalized Petri nets based on proper resource allocation
• Liveness enforcement for production systems modeled by time Petri nets
• Structure of weakly 2-dependent siphons
• A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
• Petri net controllers for generalized mutual exclusion constraints with floor operators
• Editorial: Deadlock analysis and control in resource allocation systems
• Sequential composition of linear systems' clans
• Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
• Confusion analysis and detection for workflow nets
• On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
• Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller
• Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
• A branch and bound approach for the design of decentralized supervisors in Petri net models
• Robustness of deadlock control for a class of Petri nets with unreliable resources
• Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
• Synthesis of Petri net supervisors for FMS via redundant constraint elimination
• Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors
• Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra
• Robust deadlock control of automated manufacturing systems with multiple unreliable resources
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
• On structural minimality of optimal supervisors for flexible manufacturing systems
• Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems
• Controller synthesis with highly simplified linear constraints
• Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
• A survey of siphons in Petri nets
• On the lower bound of monitor solutions of maximally permissive supervisors for a subclass \(\alpha\)-\(S^{3}\)PR of flexible manufacturing systems
• Deadlock and blockage control of automated manufacturing systems with an unreliable resource
• Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
• Necessary and sufficient liveness condition of GS³PR Petri nets
• Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
• Complexity of the deadlock problem for Petri nets modeling resource allocation systems
• Trustworthiness analysis and evaluation for command and control cyber-physical systems using generalized stochastic Petri nets
• Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets
• Supervisor reconfiguration for deadlock prevention by resources reallocation
• A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
• Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• Deadlock recovery for flexible manufacturing systems modeled with Petri nets
• A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
• Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
• Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
• Resource failure and buffer space allocation control for automated manufacturing systems
• One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy
• Petri net representation and reachability analysis of 0--1 integer linear programming problems
• A merging method for the siphon-based FMS maximally permissive controllers with simpler structures
• Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
• Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-\(\alpha\) net systems
• On the enforcement of a class of nonlinear constraints on Petri nets

This page was built for publication: Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q540197)