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

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)