Pages that link to "Item:Q3624564"
From MaRDI portal
The following pages link to Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study (Q3624564):
Displayed 12 items.
- Expected reachability-time games (Q278757) (← links)
- Optimal and robust controller synthesis using energy timed automata with uncertainty (Q1996422) (← links)
- Optimal and robust controller synthesis. Using energy timed automata with uncertainty (Q2024347) (← links)
- Average-energy games (Q2413482) (← links)
- Reachability games with relaxed energy constraints (Q2672231) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Bounding Average-Energy Games (Q2988367) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- (Q5013874) (← links)
- (Q5020520) (← links)
- A game approach to the parametric control of real-time systems (Q5231423) (← links)
- Game-based Synthesis of Distributed Controllers for Sampled Switched Systems (Q5240151) (← links)