NLTOOLBOX

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.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Testylier, Romain; Dang, Thao: NLTOOLBOX: a library for reachability computation of nonlinear dynamical systems (2013)