NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems.

Romain Testylier Thao Dang

Published in: ATVA (2013)

Keyphrases

nonlinear dynamical systems
dynamical systems

state space
phase space

dynamical behavior
image processing

image enhancement
manufacturing systems