Pages that link to "Item:Q2985872"
From MaRDI portal
The following pages link to Synthesis using approximately bisimilar abstractions (Q2985872):
Displaying 8 items.
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Temporal logic model predictive control (Q889006) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- Guaranteed control of switched control systems using model order reduction and state-space bisection (Q5240150) (← links)
- Game-based Synthesis of Distributed Controllers for Sampled Switched Systems (Q5240151) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
