NLTOOLBOX: a library for reachability computation of nonlinear dynamical systems. We describe NLTOOLBOX, a library of data structures and algorithms for reachability computation of nonlinear dynamical systems. It provides the users with an easy way to “program” their own analysis procedures or to solve other problems beyond verification. We illustrate the use of the library for the analysis of a biological model.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Jared Mejia, Alex Devonport, Murat Arcak: DaDRA: A Python Library for Data-Driven Reachability Analysis (2021) arXiv
- Goubault, Eric; Putot, Sylvie: Forward inner-approximated reachability of non-linear continuous systems (2017)
- Testylier, Romain; Dang, Thao: NLTOOLBOX: a library for reachability computation of nonlinear dynamical systems (2013)