Pages that link to "Item:Q3636880"
From MaRDI portal
The following pages link to Reachability Analysis of Hybrid Systems Using Support Functions (Q3636880):
Displaying 14 items.
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems (Q276023) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing (Q2060886) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Conservative time discretization: a comparative study (Q2165508) (← links)
- Lie symmetries applied to interval integration (Q2166013) (← links)
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems (Q6175620) (← links)
