NLTOOLBOX
Major functionalities: Reachability analysis for 2 types of dynamical systems:
- Polynomial systems (using the Bernstein expansion technique)
- More general nonlinear systems (using hybridization)
View online : NLTOOLBOX
Major functionalities: Reachability analysis for 2 types of dynamical systems: