search

StanfordASL / neural-network-lyapunov

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
MIT License
139 stars 30 forks source link

Need to compute bounds for the dynamical system output #407

Closed hongkai-dai closed 2 years ago

hongkai-dai commented 2 years ago

Compute bounds for xdot = f(x, u) or x[n+1] = f(x[n], u[n])