A sum-of-squares toolbox for stability analysis
-
Updated
Dec 4, 2024 - MATLAB
A sum-of-squares toolbox for stability analysis
[L4DC2023] A neural network policy learning framework to stabilize hybrid systems for robots.
A cutting-plane method to synthesize Lyapunov functions for neural network uncertain systems.
Fast, parallel method for estimating the region of attraction for a controlled inverted pendulum using CUDA
Add a description, image, and links to the region-of-attraction topic page so that developers can more easily learn about it.
To associate your repository with the region-of-attraction topic, visit your repo's landing page and select "manage topics."