Pages that link to "Item:Q1996422"
From MaRDI portal
The following pages link to Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422):
Displaying 3 items.
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty (Q2024347) (← links)
- Compatibility of refining and controlling plant automata with bisimulation quotients (Q6174416) (← links)