Journal article
Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes.
Publication Details
Authors: | Althoff, M.; Stursberg, O.; Buss, M. |
Publication year: | 2008 |
Journal: | 17th IFAC World Congress of Automatic Control |
Pages range : | 5125–5130 |