issues
search
StanfordASL
/
neural-network-lyapunov
Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
MIT License
138
stars
29
forks
source link
Add add_dynamic_constraint to AutonomousReLUGivenEquilibrium.
#410
Closed
hongkai-dai
closed
2 years ago
hongkai-dai
commented
2 years ago
Also compute the bounds for x_next.
This change is
Also compute the bounds for x_next.
This change is