A zonotopic framework for functional abstractions
From MaRDI portal
Publication:5962973
Abstract: This article formalizes an abstraction of input/output relations, based on parameterized zonotopes, which we call affine sets. We describe the abstract transfer functions and prove their correctness, which allows the generation of accurate numerical invariants. Other applications range from compositional reasoning to proofs of user-defined complex invariants and test case generation.
Recommendations
Cites work
- scientific article; zbMATH DE number 1305022 (Why is no real title available?)
- scientific article; zbMATH DE number 1948398 (Why is no real title available?)
- scientific article; zbMATH DE number 2079415 (Why is no real title available?)
- scientific article; zbMATH DE number 1738295 (Why is no real title available?)
- scientific article; zbMATH DE number 2121575 (Why is no real title available?)
- scientific article; zbMATH DE number 1444352 (Why is no real title available?)
- A Case Study in Abstract Interpretation Based Program Transformation
- A generalization of \(p\)-boxes to affine arithmetic
- A zonotopic framework for functional abstractions
- Abstract Interpretation Frameworks
- Affine arithmetic: concepts and applications
- An accurate join for zonotopes, preserving affine input/output relations
- Computer Aided Verification
- Computer Aided Verification
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
- Ellipsoidal calculus for estimation and control
- Guaranteed state estimation by zonotopes
- Hybrid Systems: Computation and Control
- Inner approximated reachability analysis
- Optimal harvesting of a two species competition model with imprecise biological parameters
- Programming Languages and Systems
- Reachability Analysis of Hybrid Systems Using Support Functions
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Static Analysis
- Static Analysis by Policy Iteration on Relational Domains
- Static Analysis of Numerical Algorithms
- Static analysis of finite precision computations
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
- Verification, Model Checking, and Abstract Interpretation
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
Cited in
(13)- Shared Certificates for Neural Network Verification
- A zonotopic framework for functional abstractions
- The abstract domain of trapezoid step functions
- Static analysis of finite precision computations
- An accurate join for zonotopes, preserving affine input/output relations
- Towards an automatic uncertainty compiler
- Quadratic zonotopes. An extension of zonotopes to quadratic arithmetics
- Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
- A generalization of \(p\)-boxes to affine arithmetic
- A new abstraction framework for affine transformers
- Dynamic interval analysis by abstract interpretation
- Strong regularity of parametric interval matrices
- Robustness verification of support vector machines
This page was built for publication: A zonotopic framework for functional abstractions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5962973)
