The following pages link to (Q4202958):
Displaying 7 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- Control of \(\omega\)-automata under state fairness assumptions (Q1128704) (← 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)
- Compatibility of refining and controlling plant automata with bisimulation quotients (Q6174416) (← links)