Pages that link to "Item:Q4339719"
From MaRDI portal
The following pages link to Supervisory control using failure semantics and partial specifications (Q4339719):
Displaying 4 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)
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)
