The following pages link to (Q3222064):
Displaying 9 items.
- Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively (Q262426) (← links)
- Asynchronous \(l\)-complete approximations (Q464604) (← links)
- On observability of discrete-event systems (Q1102899) (← links)
- Modular supervisory control of discrete-event systems (Q1113863) (← links)
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- Decentralized supervisory control of discrete-event systems (Q1822944) (← links)
- Generalized invariant subspaces for infinite-dimensional systems (Q1840801) (← links)
- A logical DES approach to the design of hybrid control systems (Q1922193) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
