Login
- Title:
Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes
- Document type:
- Konferenzbeitrag
- Author(s):
- Althoff, Matthias; Stursberg, Olaf; Buss, Martin
- Book / Congress title:
- Proceedings of the 17th IFAC World Congress
- Year:
- 2008
BibTeX