Invariant, Viability and Discriminating Kernel Under-Approximation via Zonotope Scaling

Ian M. Mitchell, Jacob Budzis, Andriy Bolyachevets

Scalable safety verification of continuous state dynamic systems has been demonstrated through both reachability and viability analyses using parametric set representations; howeve…