Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 287-301
- https://doi.org/10.1007/11730637_23
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Interval-valued reduced order statistical interconnect modelingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Reachability of Uncertain Linear Systems Using ZonotopesLecture Notes in Computer Science, 2005
- Inner and outer approximations of polytopes using boxesComputational Geometry, 2004
- Abstraction by Projection and Application to Multi-affine SystemsLecture Notes in Computer Science, 2004
- Efficient Representation and Computation of Reachable Sets for Hybrid SystemsLecture Notes in Computer Science, 2003
- Computational techniques for hybrid system verificationIEEE Transactions on Automatic Control, 2003
- Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years LaterSiam Review, 2003
- Convex PolytopesGraduate Texts in Mathematics, 2003
- Ellipsoidal Techniques for Reachability AnalysisLecture Notes in Computer Science, 2000
- Analysis of Some Krylov Subspace Approximations to the Matrix Exponential OperatorSIAM Journal on Numerical Analysis, 1992