A Logical Product Approach to Zonotope Intersection
- 1 January 2010
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
Other Versions
This publication has 11 references indexed in Scilit:
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static AnalysisLecture Notes in Computer Science, 2010
- The Zonotope Abstract Domain Taylor1+Lecture Notes in Computer Science, 2009
- Inferring Min and Max Invariants Using Max-Plus PolyhedraLecture Notes in Computer Science, 2008
- SubPolyhedra: A (More) Scalable Approach to Infer Linear InequalitiesLecture Notes in Computer Science, 2008
- 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 interpretersPublished by Association for Computing Machinery (ACM) ,2006
- Static Analysis of Numerical AlgorithmsLecture Notes in Computer Science, 2006
- Reachability of Uncertain Linear Systems Using ZonotopesLecture Notes in Computer Science, 2005
- A New Numerical Abstract Domain Based on Difference-Bound MatricesLecture Notes in Computer Science, 2001