Pages that link to "Item:Q4339719"
From MaRDI portal
The following pages link to Supervisory control using failure semantics and partial specifications (Q4339719):
Displaying 7 items.
- Verification of asynchronous systems with an unspecified component (Q1731830) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- Compositionality issues in discrete, continuous, and hybrid systems (Q2716781) (← links)
- Supervisory Control with Complete Observations (Q5496921) (← links)
- Branching time controllers for discrete event systems (Q5958466) (← links)
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)
