Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
From MaRDI portal
(Redirected from Publication:497950)
Recommendations
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
- On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
- Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
- On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
- scientific article; zbMATH DE number 1820096
- Maximally permissive supervisor synthesis based on a new constraint transformation method
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
Cites work
- scientific article; zbMATH DE number 3359777 (Why is no real title available?)
- scientific article; zbMATH DE number 2221543 (Why is no real title available?)
- A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
- An Optimization Approach to Petri Net Monitor Design
- Approximating the minimal sensor selection for supervisory control
- Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
- Deadlock prevention policy based on Petri nets and siphons
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Feedback control of Petri nets based on place invariants
- Liveness of an extended S\(^{3}\)PR
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- On liveness and controlled siphons in Petri nets
- Supervisory Control of a Class of Discrete Event Processes
Cited in
(11)- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm
- Sequential composition of linear systems' clans
- Deadlock and liveness characterization for a class of generalized Petri nets
- Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
- 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
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
- On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
- Model checking Petri nets with MSVL
This page was built for publication: Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q497950)
