A Logical Product Approach to Zonotope Intersection
Authors:
Open Access
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 212-226
Abstract
No abstract availableKeywords
All Related Versions
This publication has 11 references indexed in Scilit:
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis2010
- The Zonotope Abstract Domain Taylor1+2009
- Inferring Min and Max Invariants Using Max-Plus PolyhedraLecture Notes in Computer Science, 2008
- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities2008
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability AnalysisLecture Notes in Computer Science, 2008
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine ArithmeticLecture Notes in Computer Science, 2007
- Combining abstract interpreters2006
- Static Analysis of Numerical Algorithms2006
- Reachability of Uncertain Linear Systems Using Zonotopes2005
- A New Numerical Abstract Domain Based on Difference-Bound Matrices2001