Data-Driven Nonconvex Reachability Analysis using Exact Multiplication

• DOI: 10.48550/arxiv.2504.02147
• Publication Date: 2025-04-02
• Authors: Z. Zhang; Muhammad Umar B. ...; M. S. Chong; Karl Henrik Johan...; Amr Alanwar
• Keywords: FOS: Electrical engineering, electronic engineering, information engineering; Systems and Control (eess.SY); Electrical Engineering and Systems Science - Systems and Control

This paper addresses a fundamental challenge in data-driven reachability analysis: accurately representing and propagating non-convex reachable sets. We propose novel approach using constrained polynomial zonotopes to describe sets for unknown LTI systems. Unlike commonly used existing literature, are closed under multiplication with matrix zonotopes. leverage this property develop an exact method that preserves the geometry of without resorting approximations. demonstrate our provides tighter over-approximations systems compared conventional methods.