2 results found Sort:

YaChienChang
Neural-Lyapunov-Control YaChienChang
30
122
unknown
4
Learning Lyapunov functions and control policies of nonlinear dynamical systems
clf neural-lyapunov-function control-lyapunov-functions
Created 2019-10-18
14 commits to master branch, last one 3 years ago
Verified-Intelligence
Lyapunov_Stable_NN_Controllers Verified-Intelligence
14
59
mit
5
Lyapunov-stable Neural Control for State and Output Feedback
neural-control neural-networks lyapunov-stability formal-verification neural-lyapunov-function neural-network-verification
Created 2024-04-09
6 commits to main branch, last one 5 months ago