Pages that link to "Item:Q445917"
From MaRDI portal
The following pages link to Controller synthesis for safety and reachability via approximate bisimulation (Q445917):
Displaying 17 items.
- Model-order reduction of ion channel dynamics using approximate bisimulation (Q498915) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← 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)
- Controller synthesis for bisimulation equivalence (Q2519735) (← 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)
