https://github.com/stanfordasl/neural-network-lyapunov

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
https://github.com/stanfordasl/neural-network-lyapunov

lyapunov-functions neural-network robotics verification

Last synced: 7 days ago
JSON representation

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

• Host: GitHub
• URL: https://github.com/stanfordasl/neural-network-lyapunov
• Owner: StanfordASL
• License: mit
• Created: 2019-09-23T22:16:31.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2025-01-24T20:17:46.000Z (15 days ago)
• Last Synced: 2025-01-24T21:09:03.852Z (15 days ago)
• Topics: lyapunov-functions, neural-network, robotics, verification
• Language: Python
• Homepage:
• Size: 111 MB
• Stars: 148
• Watchers: 6
• Forks: 31
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project