Journal article
Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes
Publication Details
Authors: | Althoff, M.; Stursberg, O.; Buss, M. |
Publication year: | 2010 |
Journal: | Nonlinear Analysis: Hybrid Systems |
Pages range : | 233-249 |
Volume number: | 4 |
Start page: | 233 |
End page: | 249 |
ISSN: | 1751-570X |
DOI-Link der Erstveröffentlichung: |
URN / URL: |
Abstract
Abstract, BibTex, URL
Keywords
Hybrid systems, Polytopes, Reachability analysis, Safety verification, Zonotopes