Differentiable dynamical system