1. Learning lyapunov functions for hybrid systems;chen;Proceedings of the 24th International Conference on Hybrid Systems Computation and Control,2021
2. Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming;fazlyab;IEEE Transactions on Automatic Control,2020
3. Neural lyapunov control of unknown nonlinear systems with stability guarantees;zhou,2022
4. Lyapunov-stable neural-network control
5. Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations