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.070zbMath1233.93004OpenAlexW2005217875MaRDI QIDQ540197
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
Production models (90B30) Design techniques (robust design, computer-aided design, etc.) (93B51) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)
Related Items (39)
Controller Synthesis with Highly Simplified Linear Constraints ⋮ Petri net controllers for generalized mutual exclusion constraints with floor operators ⋮ On structural minimality of optimal supervisors for flexible manufacturing systems ⋮ Equivalent transformation of nonlinear constraints to linear constraints in Petri nets ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets ⋮ Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra ⋮ Liveness enforcement for production systems modeled by time Petri nets ⋮ On the enforcement of a class of nonlinear constraints on Petri nets ⋮ Resource failure and buffer space allocation control for automated manufacturing systems ⋮ Synthesis of Petri net supervisors for FMS via redundant constraint elimination ⋮ Trustworthiness analysis and evaluation for command and control cyber-physical systems using generalized stochastic Petri nets ⋮ Robustness of deadlock control for a class of Petri nets with unreliable resources ⋮ Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors ⋮ Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems ⋮ Robust deadlock control of automated manufacturing systems with multiple unreliable resources ⋮ Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions ⋮ Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets ⋮ Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ A novel method for deadlock prevention of AMS by using resource-oriented Petri nets ⋮ Complexity of the deadlock problem for Petri nets modeling resource allocation systems ⋮ A survey of siphons in Petri nets ⋮ Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs ⋮ Sequential composition of linear systems' clans ⋮ Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller ⋮ Deadlock recovery for flexible manufacturing systems modeled with Petri nets ⋮ Petri net representation and reachability analysis of 0--1 integer linear programming problems ⋮ One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy ⋮ Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation ⋮ Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-α net systems ⋮ A multistep look-ahead deadlock avoidance policy for automated manufacturing systems ⋮ Confusion analysis and detection for workflow nets ⋮ Necessary and sufficient liveness condition of GS3PR Petri nets ⋮ A branch and bound approach for the design of decentralized supervisors in Petri net models ⋮ Structure of weakly 2-dependent siphons ⋮ On the lower bound of monitor solutions of maximally permissive supervisors for a subclass α-S3PR of flexible manufacturing systems ⋮ A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets
Cites Work
This page was built for publication: Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
