Precise widening operators for convex polyhedra

DOI10.1016/J.SCICO.2005.02.003zbMATH Open1088.68173OpenAlexW4212935551MaRDI QIDQ2568443FDOQ2568443

Roberto Bagnara, Enea Zaffanella, Patricia M. Hill, Elisa Ricci

Publication date: 10 October 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.02.003

zbMATH Keywords

abstract interpretationconvex polyhedrawidening operators

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Cited In (17)

• Acceleration in Convex Data-Flow Analysis
• An integer static analysis for better extrapolation in Uppaal
• Efficient constraint/generator removal from double description of polyhedra
• A new look at the automatic synthesis of linear ranking functions
• Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
• A program analysis framework for \textit{tccp} based on abstract interpretation
• Enforcing termination of interprocedural analysis
• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• Widening and narrowing operators for abstract interpretation
• PPLite: zero-overhead encoding of NNC polyhedra
• Decoupling the ascending and descending phases in abstract interpretation
• Experimental evaluation of numerical domains for inferring ranges
• Abstract Interpretation with Applications to Timing Validation
• Abstract Analysis of Universal Properties for tccp
• Dissecting widening: separating termination from information
• Revisiting polyhedral analysis for hybrid systems
• Stratified Static Analysis Based on Variable Dependencies

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Polyhedral approximation of smooth convex bodies 👍 👎
• Approximation of convex sets by polytopes 👍 👎
• Polytopal approximation of elongated convex bodies 👍 👎
• Fine approximation of convex bodies by polytopes 👍 👎
• Approximate convex decomposition of polyhedra and its applications 👍 👎
• Push–Pull Operators on Convex Polytopes 👍 👎
• Approximation of convex bodies by polytopes with respect to minimal width and diameter 👍 👎

This page was built for publication: Precise widening operators for convex polyhedra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2568443)