Pages that link to "Item:Q2197579"
From MaRDI portal
The following pages link to Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (Q2197579):
Displaying 3 items.
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
