TY - RPRT TI - Functional sets with typed symbols : Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering AU - Christophe Combastel PY - 2022 DO - 10.1016/j.automatica.2022.110457 UR - https://arxiv.org/abs/2009.07387 ID - 2009.07387 ER -