Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes

Ertai Luo, Niklas Kochdumper, Stanley Bak. Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2023, San Antonio, TX, USA, May 9-12, 2023. ACM, 2023. [doi]

Abstract

Abstract is missing.