The following pages link to (Q4417974):
Displaying 19 items.
- Provably safe and robust learning-based model predictive control (Q490551) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Lebesgue piecewise affine approximation of nonlinear systems (Q1049210) (← links)
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Conservative time discretization: a comparative study (Q2165508) (← links)
- Lie symmetries applied to interval integration (Q2166013) (← links)
- Domain-of-attraction estimation for uncertain non-polynomial systems (Q2300227) (← links)
- Bracketing the solutions of an ordinary differential equation with uncertain initial conditions (Q2422853) (← links)
- Hybrid abstractions of affine systems (Q2496812) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
- Approximating Continuous Systems by Timed Automata (Q3506869) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)
- Control of positive systems with an unknown state-dependent power law input delay and input saturation (Q6163976) (← links)
