Pages that link to "Item:Q2058570"
From MaRDI portal
The following pages link to Compositional coordinator synthesis of extended finite automata (Q2058570):
Displaying 6 items.
- A framework for compositional nonblocking verification of extended finite-state machines (Q262429) (← links)
- Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736) (← links)
- Compositional synthesis of supervisors in the form of state machines and state maps (Q503186) (← links)
- On-line compositional controller synthesis for AGV (Q513815) (← links)
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)