Resource failure and buffer space allocation control for automated manufacturing systems
From MaRDI portal
Recommendations
- Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources
- Robust deadlock control for automated manufacturing systems with an unreliable resource
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources
- Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets
Cites work
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
- Control of discrete-event systems. Automata and Petri net perspectives
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Invariant-Based Supervisory Control of Switched Discrete Event Systems
- Marking Observer in Labeled Petri Nets With Application to Supervisory Control
- Minimum Initial Marking Estimation in Labeled Petri Nets
- Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
- Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
- Robust deadlock control for automated manufacturing systems with an unreliable resource
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination
- The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
- Verification of State-Based Opacity Using Petri Nets
Cited in
(8)- Robust deadlock avoidance control for AMSs with assembly operations embedded in flexible routes using Petri nets
- Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources
- Deadlock and blockage control of automated manufacturing systems with an unreliable resource
- Dynamic and steady-state performance analysis for multi-state repairable reconfigurable manufacturing systems with buffers
- Robust supervisory control for automated manufacturing systems with unreliable resources by analyzing reachable state space
- A learning-based metaheuristic for a multi-objective agile inspection planning model under uncertainty
- Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots
This page was built for publication: Resource failure and buffer space allocation control for automated manufacturing systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2195353)