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