2604.13792

Total: 1

#1 Orthogonal Transformations for Efficient Data-Driven Reachability Analysis [PDF] [Copy] [Kimi] [REL]

Authors: Peng Xie, Amr Alanwar

Data-driven reachability analysis using matrix zonotopes faces a fundamental challenge: the number of generators in the reachable set grows exponentially during propagation, while current order reduction yields overly conservative approximations in data-driven settings. This paper introduces an orthogonal matrix-based framework that appropriately transfers the coordinate system before reducing the generators of the reachable set, dramatically reducing reachable set volumes. By exploiting the factorized structure of data-driven matrix zonotope generators, we develop several efficient algorithms to solve the problem. Numerical experiments demonstrate order-of-magnitude volume reductions compared to traditional methods, while maintaining comparable generator numbers. Our method provides a practical solution to improve precision in data-driven safety verification.

Subject: Systems and Control

Publish: 2026-04-15 12:31:58 UTC