Resource failure and buffer space allocation control for automated manufacturing systems
From MaRDI portal
Publication:2195353
DOI10.1016/J.INS.2018.02.043zbMath1448.93234OpenAlexW2800589533MaRDI QIDQ2195353
Weimin Wu, Hesuan Hu, Hao Yue, Keyi Xing, Hong-Ye Su
Publication date: 8 September 2020
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2018.02.043
Sensitivity (robustness) (93B35) Automated systems (robots, etc.) in control theory (93C85) Discrete event control/observation systems (93C65) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)
Related Items (5)
A learning-based metaheuristic for a multi-objective agile inspection planning model under uncertainty ⋮ 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 ⋮ Robust supervisory control for automated manufacturing systems with unreliable resources by analyzing reachable state space ⋮ Dynamic and steady-state performance analysis for multi-state repairable reconfigurable manufacturing systems with buffers
Cites Work
- Control of discrete-event systems. Automata and Petri net perspectives
- Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination
- Robust deadlock control for automated manufacturing systems with an unreliable resource
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- The fundamental closed-form solution of control-related states ofkth order S3PR system with left-side non-sharing resource places of Petri nets
- Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
- Invariant-Based Supervisory Control of Switched Discrete Event Systems
- Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems
- Marking Observer in Labeled Petri Nets With Application to Supervisory Control
- Verification of State-Based Opacity Using Petri Nets
- Minimum Initial Marking Estimation in Labeled Petri Nets
This page was built for publication: Resource failure and buffer space allocation control for automated manufacturing systems
