Pages that link to "Item:Q958258"
From MaRDI portal
The following pages link to Reduction of constraints for controller synthesis based on safe Petri nets (Q958258):
Displaying 16 items.
- On structural minimality of optimal supervisors for flexible manufacturing systems (Q361050) (← links)
- Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
- Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method (Q664298) (← links)
- Control synthesis of Petri nets based on \(S\)-decreases (Q1581036) (← links)
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479) (← links)
- On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net (Q2058574) (← links)
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
- A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
- Optimal Petri net supervisor synthesis for forbidden state problems using marking mask (Q2656745) (← links)
- Solving the problem of forbidden states in discrete event systems: a novel systematic method for reducing the number of control places (Q2790014) (← links)
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis (Q2813985) (← links)
- Supervisory control based on minimal cuts and Petri net sub-controllers coordination (Q2821354) (← links)
- Structural optimal control for safe Petri nets (Q3058321) (← links)
- A Canonical Contraction for Safe Petri Nets (Q3452474) (← links)
- Controller Synthesis with Highly Simplified Linear Constraints (Q3454364) (← links)
