Aufsatz in einer Fachzeitschrift
Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes
Details zur Publikation
Autor(inn)en: | Althoff, M.; Stursberg, O.; Buss, M. |
Publikationsjahr: | 2010 |
Zeitschrift: | Nonlinear Analysis: Hybrid Systems |
Seitenbereich: | 233-249 |
Jahrgang/Band : | 4 |
Erste Seite: | 233 |
Letzte Seite: | 249 |
ISSN: | 1751-570X |
DOI-Link der Erstveröffentlichung: |
URN / URL: |
Zusammenfassung, Abstract
Kurzfassung, BibTex, URL
Schlagwörter
Hybrid systems, Polytopes, Reachability analysis, Safety verification, Zonotopes