Verified-Intelligence / Lyapunov_Stable_NN_Controllers Star 69 Code Issues Pull requests Lyapunov-stable Neural Control for State and Output Feedback neural-networks formal-verification neural-control lyapunov-stability neural-network-verification neural-lyapunov-function Updated Jul 15, 2024 Python
ZikangXiong / MFNLC Star 23 Code Issues Pull requests [IROS 22'] Model-free Neural Lyapunov Control deep-reinforcement-learning motion-planning path-planning pytorch neural-control lyapunov-functions safe-reinforcement-learning stable-baselines3 neural-lyapunov-function goal-conditioned-rl safe-reinforcement-learning-environments machine-learning-for-control Updated Mar 8, 2023 Python