search

StanfordASL / neural-network-lyapunov

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

start to work on lyapunov for continuous time system. #404

Closed hongkai-dai closed 2 years ago

hongkai-dai commented 2 years ago

Add lyapunov_derivative function.

This change is Reviewable