Pages that link to "Item:Q2985859"
From MaRDI portal
The following pages link to Accurate hybridization of nonlinear systems (Q2985859):
Displaying 9 items.
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← 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)
- OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations (Q2154032) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
- Robust constrained control of piecewise affine systems through set‐based reachability computations (Q6054837) (← links)
