Pages that link to "Item:Q2197591"
From MaRDI portal
The following pages link to Modeling for supervisor synthesis -- a lock-bridge combination case study (Q2197591):
Displayed 5 items.
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- Supervisory controller synthesis and implementation for safety PLCs (Q2128091) (← links)
- Transformational supervisor synthesis for evolving systems (Q2673766) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)