Concepedia

Sicun Gao

SG

35

Publications

1.2K

Citations

20

H-Index

2010

Active since

Affiliations

University of California San Diego(Current)

Carnegie Mellon University

Cadence Design Systems (United States)

Texas A&M University

Massachusetts Institute of Technology

Sicun Gao is an author at University of California San Diego specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationComputer EngineeringVerificationRoboticsRobot LearningArtificial Intelligence

Publications per year

2010–2023

35

Publications

35

Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control

Charles Dawson, Sicun Gao, Chuchu Fan · IEEE Transactions on Robotics · 2023 · 193 citations

Robotic Systems, Engineering, Certificate Learning +16

Neural Lyapunov Control

Ya-Chien Chang, Nima Roohi, Sicun Gao · arXiv (Cornell University) · 2020 · 131 citations · Full text

Artificial Intelligence, Nonlinear Control, Engineering +12

Delta-Decidability over the Reals

Sicun Gao, Jeremy Avigad, Edmund M. Clarke · 2012 · 77 citations

A Neural Lyapunov Approach to Transient Stability Assessment of Power Electronics-Interfaced Networked Microgrids

Tong Huang, Sicun Gao, Le Xie · IEEE Transactions on Smart Grid · 2021 · 64 citations · Full text

Networked Microgrids, Electrical Engineering, Neural Lyapunov Approach +14

SMT-Based Nonlinear PDDL+ Planning

Daniel Bryce, Sicun Gao, David J. Musliner et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 55 citations · Full text

Artificial Intelligence, Mathematical Programming, Engineering +18

Rows per page

1–5 of 35