Pages that link to "Item:Q4021550"
From MaRDI portal
The following pages link to Controllability of predicates and languages in discrete-event systems (Q4021550):
Displaying 5 items.
- On controllability of discrete event systems in a behavioral framework (Q1951853) (← links)
- A note on controllability of deterministic context-free~systems (Q2391510) (← links)
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes (Q2825420) (← links)
- Language convergence in controlled discrete-event systems (Q4841514) (← links)
- On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems (Q4875987) (← links)