Pages that link to "Item:Q4259049"
From MaRDI portal
The following pages link to Characterization of all M-controllable subpredicates of a given predicate (Q4259049):
Displayed 4 items.
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Decentralized control of infinite systems (Q645050) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)