Pages that link to "Item:Q262429"
From MaRDI portal
The following pages link to A framework for compositional nonblocking verification of extended finite-state machines (Q262429):
Displaying 4 items.
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (Q2197579) (← links)
