The following pages link to (Q4202958):
Displaying 5 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- On control of systems modelled as deterministic Rabin automata (Q1902499) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- A hierarchical and modular control architecture for sequential behaviours (Q2348360) (← links)
