Artifacts Software Neural Network Control
FPL Neural Lyapunov
Training code for Lyapunov-stable neural controllers using Fulfillment Priority Logic.
About
Python code for learning neural controllers together with Lyapunov certificates and a region-of-attraction search, with training and visualization scripts for systems such as a pendulum, a cart-pole, and a path-following unicycle.