Functional sets with typed symbols: Framework and mixed Polynotopes for hybrid nonlinear reachability and filtering

Open in new window