Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
Top Cited Papers
- 31 May 2010
- journal article
- Published by Elsevier BV in Nonlinear Analysis: Hybrid Systems
- Vol. 4 (2), 233-249
- https://doi.org/10.1016/j.nahs.2009.03.009
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Verification of Uncertain Embedded Systems by Computing Reachable Sets based on ZonotopesIFAC Proceedings Volumes, 2008
- Reachability analysis of nonlinear systems with uncertain parameters using conservative linearizationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Reachability analysis of linear systems with uncertain parameters and inputsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Multi-Parametric Toolbox (MPT)Lecture Notes in Computer Science, 2004
- Efficiently Approximating the Minimum-Volume Bounding Box of a Point Set in Three DimensionsJournal of Algorithms, 2001
- The n-dimensional cross product and its application to the matrix eigenanalysisPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1996
- Lectures on PolytopesPublished by Springer Science and Business Media LLC ,1995
- Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner BasesSIAM Journal on Discrete Mathematics, 1993
- A note on a method for generating points uniformly on n -dimensional spheresCommunications of the ACM, 1959