Pages that link to "Item:Q5458327"
From MaRDI portal
The following pages link to Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327):
Displayed 17 items.
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems (Q832032) (← links)
- Computation of polytopic invariants for polynomial dynamical systems using linear programming (Q1932703) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Exact join detection for convex polyhedra and other numerical abstractions (Q2269830) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- \(\epsilon\)-semantics computations on biological systems (Q2453211) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
- A Policy Iteration Technique for Time Elapse over Template Polyhedra (Q3523151) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- Symbolic analysis of linear hybrid automata -- 25 years later (Q6113970) (← links)
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis (Q6120688) (← links)