Pages that link to "Item:Q4566940"
From MaRDI portal
The following pages link to New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage (Q4566940):
Displaying 3 items.
- Characterizations and effective computation of supremal relatively observable sublanguages (Q1788694) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Robust supervisory control of discrete event systems against intermittent loss of observations (Q5018811) (← links)
