Hybrid zonotopes: a new set representation for reachability analysis of mixed logical dynamical systems.