Pages that link to "Item:Q2985859"
From MaRDI portal
The following pages link to Accurate hybridization of nonlinear systems (Q2985859):
Displayed 11 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)
- Adaptive parameter tuning for reachability analysis of nonlinear systems (Q6120656) (← links)
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis (Q6120688) (← links)