Aufsatz in einer Fachzeitschrift
Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes.
Details zur Publikation
Autor(inn)en: | Althoff, M.; Stursberg, O.; Buss, M. |
Publikationsjahr: | 2008 |
Zeitschrift: | 17th IFAC World Congress of Automatic Control |
Seitenbereich: | 5125–5130 |
