Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
From MaRDI portal
(Redirected from Publication:5458327)
Recommendations
Cites work
- A Policy Iteration Technique for Time Elapse over Template Polyhedra
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Computer Aided Verification
- Counterexample-guided predicate abstraction of hybrid systems
- scientific article; zbMATH DE number 3610766 (Why is no real title available?)
- scientific article; zbMATH DE number 1303061 (Why is no real title available?)
- scientific article; zbMATH DE number 1956651 (Why is no real title available?)
- scientific article; zbMATH DE number 1738295 (Why is no real title available?)
- scientific article; zbMATH DE number 1905118 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 1444352 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Newton: Constraint programming over nonlinear constraints
- Semidefinite programming relaxations for semialgebraic problems
- Static Analysis
Cited in
(27)- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Polyhedral flows in hybrid automata
- Computation of polytopic invariants for polynomial dynamical systems using linear programming
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Exact join detection for convex polyhedra and other numerical abstractions
- Template polyhedra and bilinear optimization
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Generating invariants for non-linear hybrid systems
- \(\epsilon\)-semantics computations on biological systems
- Taylor approximation for hybrid systems
- Synthesizing switching controllers for hybrid systems by generating invariants
- Template-based unbounded time verification of affine hybrid automata
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Eliminating spurious transitions in reachability with support functions
- Discretizing affine hybrid automata with uncertainty
- Verification of Hybrid Systems
- Counterexample-Guided Refinement of Template Polyhedra
- A Policy Iteration Technique for Time Elapse over Template Polyhedra
- Quantifier-free encoding of invariants for hybrid systems
- Geometric Model Checking of Continuous Space
- Reachability computation for polynomial dynamical systems
- Symbolic analysis of linear hybrid automata -- 25 years later
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
- On bisimilarity for polyhedral models and \texttt{SLCS}
- Canonical forms and widening for two variables per inequality systems
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
This page was built for publication: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458327)
