Pages that link to "Item:Q445917"
From MaRDI portal
The following pages link to Controller synthesis for safety and reachability via approximate bisimulation (Q445917):
Displayed 9 items.
- Model-order reduction of ion channel dynamics using approximate bisimulation (Q498915) (← links)
- Flow functions, control flow functions, and the reach control problem (Q1689356) (← links)
- Falsification of combined invariance and reachability specifications in hybrid control systems (Q1693831) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain (Q2960131) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)