NL Toolbox

NL Toolbox

Description: 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.

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://www-verimag.imag.fr/PEOPLE/Thao.Dang/NLTOOLBOX/

Download: Link

Documentation: Link

Contact: Thao Dang and Romain Testylier (email)

Excerpt from: http://www-verimag.imag.fr/PEOPLE/Thao.Dang/NLTOOLBOX/