Comparing Parameterizations and Objective Functions for Maximizing the Volume of Zonotopic Invariant Sets

Chenliang Zhou, Heejin Ahn, Ian M. Mitchell

In formal safety verification, many proposed algorithms use parametric set representations and convert the computation of the relevant sets into an optimization problem; consequent…