Verified-Intelligence / Lyapunov_Stable_NN_Controllers Star 75 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 24 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
jnez71 / airhockey Star 1 Code Issues Pull requests Robot air-hockey player (university project) computer-vision robotics air-hockey neural-control Updated Apr 21, 2016 Python