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