131 citations · 397 across the 37 of their papers we have counts for
4 papers · 1 filter
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
Charles Dawson, Zengyi Qin, Sicun Gao +1
Safety and stability are common requirements for robotic control systems; however, designing safe, stable controllers remains difficult for nonlinear and uncertain models. We devel…
Transient Stability Assessment of Networked Microgrids Using Neural Lyapunov Methods
Tong Huang, Sicun Gao, Le Xie
This paper proposes a novel transient stability assessment tool for networked microgrids based on neural Lyapunov methods. Assessing transient stability is formulated as a problem…
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems
Sicun Gao, Soonho Kong, Wei Chen +1
We present the framework of delta-complete analysis for bounded reachability problems of general hybrid systems. We perform bounded reachability checking through solving delta-deci…
Revisiting the Complexity of Stability of Continuous and Hybrid Systems
Sicun Gao, Soonho Kong, Edmund Clarke
We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so,…