Pages that link to "Item:Q503186"
From MaRDI portal
The following pages link to Compositional synthesis of supervisors in the form of state machines and state maps (Q503186):
Displayed 4 items.
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal non‐blocking decentralized supervisory control with unobservable controllable events (Q5194895) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms (Q6120385) (← links)