Exact join detection for convex polyhedra and other numerical abstractions
From MaRDI portal
Publication:2269830
Recommendations
- Optimal detection of intersections between convex polyhedra
- A dual approach to detect polyhedral intersections in arbitrary dimensions
- Fast detection of polyhedral intersection
- A complete and efficient algorithm for the intersection of a general and a convex polyhedron
- scientific article; zbMATH DE number 4098718
- Efficient algorithms for testing membership of a point in polygons and polyhedra
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
- An accurate join for zonotopes, preserving affine input/output relations
- Polyhedral approximation and practical convex hull algorithm for certain classes of voxel sets
- An efficient abstract domain for not necessarily closed polyhedra
Cites work
- scientific article; zbMATH DE number 1738295 (Why is no real title available?)
- scientific article; zbMATH DE number 783754 (Why is no real title available?)
- scientific article; zbMATH DE number 3323651 (Why is no real title available?)
- scientific article; zbMATH DE number 3078984 (Why is no real title available?)
- A case when the union of polytopes is convex
- A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
- Algorithm for discovering the set of all the solutions of a linear programming problem
- Algorithm for finding a general formula for the non-negative solutions of a system of linear equations
- Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Convexity recognition of the union of polyhedra
- Corrigendum to: ``The explicit linear quadratic regulator for constrained systems
- Extended convex hull
- Frontiers of Combining Systems
- Not necessarily closed convex polyhedra and the double description method
- Parametric integer programming
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- Static Analysis
- Static Analysis
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- The explicit linear quadratic regulator for constrained systems
- Two variables per linear inequality as an abstract domain
- Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
Cited in
(6)- An accurate join for zonotopes, preserving affine input/output relations
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Donut domains: efficient non-convex domains for abstract interpretation
- A new look at the automatic synthesis of linear ranking functions
- scientific article; zbMATH DE number 1948398 (Why is no real title available?)
- A note on the inversion join for polyhedral analysis
This page was built for publication: Exact join detection for convex polyhedra and other numerical abstractions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2269830)
