Sum-of-squares results in the inverted pendulum example

YaChienChang / Neural-Lyapunov-Control

Learning Lyapunov functions and control policies of nonlinear dynamical systems

117 stars 31 forks source link

Sum-of-squares results in the inverted pendulum example #10

Closed KehanLong closed 1 year ago

KehanLong commented 1 year ago

Could you provide some details/references about how to find the sum-of-squares polynomials for the inverted pendulum example in the plotting.ipynb file? Some existing code will be highly appreciated.

Thanks in advance.