Christophe Combastel: Functional sets with typed symbols: Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering. Autom. 143: 110457 (2022)