Pages that link to "Item:Q2350813"
From MaRDI portal
The following pages link to Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models (Q2350813):
Displaying 12 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Supervision based on place invariants: a survey (Q858151) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
- Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra (Q2667519) (← links)
- Fusion of supervisors in discrete event systems using coloured Petri nets (Q2835124) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
- Petri Nets Tracking Control for Electro-pneumatic Systems Automation (Q5053594) (← links)
- Feedback control to guarantee marking constraints in timed event graphs including disturbances: application to disassembly systems (Q6152366) (← links)
- Control of a class of discrete event systems with disturbances and capacity constraints: application to a disassembly problem (Q6583363) (← links)
- Analytical methods for controlling timed event graphs with disturbances and paths subject to marking constraints: application to a disassembly process (Q6593304) (← links)
