Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
From MaRDI portal
Publication:540197
DOI10.1016/J.AUTOMATICA.2011.01.070zbMATH Open1233.93004OpenAlexW2005217875MaRDI QIDQ540197FDOQ540197
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
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
Production models (90B30) Hierarchical systems (93A13) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)
Cites Work
- Feedback control of Petri nets based on place invariants
- Deadlock prevention policy based on Petri nets and siphons
- Title not available (Why is that?)
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (48)
- Controller synthesis with highly simplified linear constraints
- 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
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems
- 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
- 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
- Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
- A branch and bound approach for the design of decentralized supervisors in Petri net models
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
- Supervisor reconfiguration for deadlock prevention by resources reallocation
- Resource failure and buffer space allocation control for automated manufacturing systems
- A survey of siphons in Petri nets
- Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
- Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
- Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller
- Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-\(\alpha\) net systems
- A merging method for the siphon-based FMS maximally permissive controllers with simpler structures
- Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
- On the lower bound of monitor solutions of maximally permissive supervisors for a subclass \(\alpha\)-\(S^{3}\)PR of flexible manufacturing systems
- Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets
- A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
- Trustworthiness analysis and evaluation for command and control cyber-physical systems using generalized stochastic Petri nets
- Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
- Petri net representation and reachability analysis of 0--1 integer linear programming problems
- Editorial: Deadlock analysis and control in resource allocation systems
- Sequential composition of linear systems' clans
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination
- Petri net controllers for generalized mutual exclusion constraints with floor operators
- On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
- Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra
- Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places
- One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy
- Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems
- Confusion analysis and detection for workflow nets
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Computationally improved optimal control methodology for linear programming problems of flexible manufacturing systems
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- Necessary and sufficient liveness condition of GS3PR Petri nets
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- Structure of weakly 2-dependent siphons
- On the enforcement of a class of nonlinear constraints on Petri nets
- Liveness enforcement for production systems modeled by time Petri nets
- Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
- Deadlock control for a class of generalized Petri nets based on proper resource allocation
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)
