Formulate the lyapunov derivative condition as MILP in continuous time.

StanfordASL / neural-network-lyapunov

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

MIT License

139 stars 30 forks source link

Closed hongkai-dai closed 2 years ago

hongkai-dai commented 2 years ago

Currently doesn't include the derivative from V_lambda |R (x-x*)|_1

This change is