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 17 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)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← 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)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)
- Switching controller synthesis for delay hybrid systems under perturbations (Q6201580) (← links)
- Optimal mixed discrete-continuous planning for linear hybrid systems (Q6201587) (← links)