controlled embedded systems / dimensional cross product / overall solution / computing / notebook dual core processor / uncertain linear systems / search space / linear systems / n-dimensional cross product / /
Organization
German Research Foundation / U.S. Securities and Exchange Commission / Institute of Automatic Control Engineering / Transregional Collaborative Research Centre / /
Person
Matthias Althoff / Ai / Olaf Stursberg / Martin Buss / /
Verification of Uncertain Embedded Systems by Computing Reachable Sets based on Zonotopes Matthias Althoff ∗ Olaf Stursberg ∗ Martin Buss ∗ ∗