Pages that link to "Item:Q1383474"
From MaRDI portal
The following pages link to Controller synthesis for net condition/event systems with a solution for incomplete state observation (Q1383474):
Displaying 4 items.
- State observability and condition observability for a class of interacting discrete event systems (Q2489596) (← links)
- Verifying untimed and timed aspects of the experimental batch plant (Q2512162) (← links)
- Detection of unmodelled anomalous behaviours via localized controllers for condition systems (Q3541181) (← links)
- An Efficient Algorithm for Controller Synthesis under Full Observation (Q4366878) (← links)