Sharp Hybrid Zonotopes: Set Operations and the Reformulation-linearization Technique

Jonah J. Glunt, Joshua A. Robbins, Jacob A. Siefert +2

Mixed integer set representations, and specifically hybrid zonotopes, have enabled new techniques for reachability and verification of nonlinear and hybrid systems. Mixed-integer s…