Multivariable results in long computation time.

YaChienChang / Neural-Lyapunov-Control

Learning Lyapunov functions and control policies of nonlinear dynamical systems

117 stars 31 forks source link

Multivariable results in long computation time. #7

Open LGM97 opened 3 years ago

LGM97 commented 3 years ago

@YaChienChang In my case, there are six variables, which leads to the calculation time of CheckStatisfiability (condition, config) is too long to be applied.config has been shrunk to 0.1. Are there any strategies to shorten the computing time?

shiqingw commented 2 years ago

@LGM97 Have you figured out how to speed up this process for multivariate cases? I am testing this method on the inverted pendulum on a cart, which has 4 state variables, and the training process is unacceptably long ...

jlwu002 commented 7 months ago

@shiqingw I also tried the Cartpole environment and had no success. I was able to obtain a result for the discrete-time system though.