Pages that link to "Item:Q2986925"
From MaRDI portal
The following pages link to Flowpipe approximation and clustering in space-time (Q2986925):
Displaying 9 items.
- 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)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems (Q6175620) (← links)
