On structural minimality of optimal supervisors for flexible manufacturing systems
From MaRDI portal
Publication:361050
DOI10.1016/j.automatica.2012.06.068zbMath1271.93102MaRDI QIDQ361050
Publication date: 28 August 2013
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0005109812003342
Petri net; deadlock prevention; first-met bad marking (FBM); flexible manufacturing system (FMS); place invariant (PI)
Related Items
Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs, Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions, Synthesis of Petri net supervisors for FMS via redundant constraint elimination, On the enforcement of a class of nonlinear constraints on Petri nets, Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors, Robust deadlock control for automated manufacturing systems with an unreliable resource, Model identification of unobservable behavior of discrete event systems using Petri nets, Editorial: Deadlock analysis and control in resource allocation systems, A novel method for deadlock prevention of AMS by using resource-oriented Petri nets, 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, Deadlock recovery for flexible manufacturing systems modeled with Petri nets, A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems, An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets, A multistep look-ahead deadlock avoidance policy for automated manufacturing systems, Supervisor reconfiguration for deadlock prevention by resources reallocation, Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places, Gradient-based controllers for timed continuous Petri nets
Cites Work
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Reduction of constraints for controller synthesis based on safe Petri nets
- Feedback control of Petri nets based on place invariants
- Deadlock prevention policy based on Petri nets and siphons
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- An Optimization Approach to Petri Net Monitor Design
- Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item