Papers › Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes
Joshua A. Robbins, Jacob A. Siefert, Herschel C. Pangborn
The constrained zonotope is a polytopic set representation widely used for set-based analysis and control of dynamic systems. This paper considers the problem of tailoring a quadratic program (QP) optimization algorithm to the particular structure of constrained zonotopes and vice-versa. An alternating direction method of multipliers (ADMM) algorithm is presented that makes efficient use of the constrained zonotope structure. To increase the efficiency of the ADMM iterations, reachability calculations are presented that increase the sparsity of the matrices used to define a constrained zonotope. Numerical results show that the ADMM algorithm solves optimal control problems built using these reachability calculations faster than state-of-the-art QP solvers using conventional problem formulations, especially for large problems. Constrained zonotope reachability and optimization calculations are combined within a set-valued state estimation and moving horizon estimation algorithm, and a projection-based infeasibility detection method is presented for efficient safety verification of system trajectories.
Code
Repository list and official/mentioned flags are the archive's, frozen 2025-07-28. Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.
Code Syntology ran Syntology
Not run by Syntology. Nothing on this page verifies that the listed code works.
Tasks
Results from the paper archive 2025-07-28
No leaderboard rows for this paper in the archive.
Methods
Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections