ssilenzi / augmented-neural-lyapunov-control Goto Github PK
View Code? Open in Web Editor NEWThis project forked from grande-dev/augmented-neural-lyapunov-control
Automatic learning of (linear and nonlinear) control function for nonlinear dynamical systems with stability certificates. The stability of the closed-loop system is proved by means of a Lyapunov Function, and its correctness is certified with SMT solvers.
License: GNU General Public License v3.0