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):
Displayed 13 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)
- 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)
- Structural optimal control for safe Petri nets (Q3058321) (← links)
- Controller Synthesis with Highly Simplified Linear Constraints (Q3454364) (← links)