A zonotopic framework for functional abstractions
From MaRDI portal
Publication:5962973
DOI10.1007/S10703-015-0238-ZzbMATH Open1331.68050arXiv0910.1763OpenAlexW1489112658MaRDI QIDQ5962973FDOQ5962973
Publication date: 25 February 2016
Published in: Formal Methods in System Design (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/0910.1763
Cites Work
- Title not available (Why is that?)
- Ellipsoidal calculus for estimation and control
- Reachability Analysis of Hybrid Systems Using Support Functions
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
- Guaranteed state estimation by zonotopes
- Affine arithmetic: concepts and applications
- A generalization of \(p\)-boxes to affine arithmetic
- Static Analysis of Finite Precision Computations
- Computer Aided Verification
- Static Analysis by Policy Iteration on Relational Domains
- A zonotopic framework for functional abstractions
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis
- Static Analysis of Numerical Algorithms
- Abstract Interpretation Frameworks
- Programming Languages and Systems
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Title not available (Why is that?)
- Optimal harvesting of a two species competition model with imprecise biological parameters
- Title not available (Why is that?)
- Title not available (Why is that?)
- Inner approximated reachability analysis
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations
- Static Analysis
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
- A Case Study in Abstract Interpretation Based Program Transformation
Cited In (10)
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations
- Shared Certificates for Neural Network Verification
- A zonotopic framework for functional abstractions
- Towards an automatic uncertainty compiler
- Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
- A generalization of \(p\)-boxes to affine arithmetic
- Dynamic interval analysis by abstract interpretation
- Strong regularity of parametric interval matrices
- Static Analysis of Finite Precision Computations
- Robustness verification of support vector machines
Uses Software
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)
