Sparsity-Promoting Reachability Analysis and Optimization of Constrained Zonotopes

Code

• github.com/psu-PAC-Lab/ZonoOpt
  Officialnone★ 14

Abstract

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.

Tasks

Reproductions