Login
- Title:
Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes
- Document type:
- Konferenzbeitrag
- Author(s):
- Althoff, M.; Stursberg,O.; Buss,M.
- Pages contribution:
- 5125-5130
- Book / Congress title:
- Proc. of the 17th IFAC World Congress
- Year:
- 2008
- Fulltext / DOI:
- doi:10.3182/20080706-5-KR-1001.00861
BibTeX