Sicun Gao - Concepedia

Author

Sicun Gao

University of California San Diego ORCID

Also Known As

Gao, Sicun, S. Gao, Sicun Gao

131

Publications

2.3K

Citations

H-Index

127

Concepts

All Affiliations

University of California San Diego Carnegie Mellon University Cadence Design Systems (United States)Texas A&M University Massachusetts Institute of Technology

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	26	979
2	Medicine	2	2	48
3	Education	1	1	20
4	Health Sciences	1	1	23
5	Management	1	1	33

Sicun Gao

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
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 Robotic SystemsEngineeringCertificate LearningSafe ControlAutonomous Systems	2023	193
Neural Lyapunov Control Ya-Chien Chang, Nima Roohi, Sicun Gao arXiv (Cornell University) Artificial IntelligenceNonlinear ControlEngineeringMachine LearningMathematical Control Theory	2020	131
Delta-Decidability over the Reals Sicun Gao, Jeremy Avigad, Edmund M. Clarke	2012	77
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 Networked MicrogridsElectrical EngineeringNeural Lyapunov ApproachEngineeringSmart Grid	2021	64
SMT-Based Nonlinear PDDL+ Planning Daniel Bryce, Sicun Gao, David J. Musliner, Proceedings of the AAAI Conference on Artificial Intelligence Artificial IntelligenceMathematical ProgrammingEngineeringSmt SolvingConstraint Solving	2015	55
Satisfiability modulo ODEs Sicun Gao, Soonho Kong, Edmund M. Clarke Mathematical ProgrammingEngineeringSmt FormulasVerificationSmt Problems	2013	50
Delta-Complete Decision Procedures for Satisfiability over the Reals Sicun Gao, Jeremy Avigad, Edmund M. Clarke arXiv (Cornell University) Numerical AnalysisEngineeringReachability ProblemVerificationSmt Problems	2012	43
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems Sicun Gao, Malay Ganai, Franjo Ivančić, Formal Methods in Computer-Aided Design Mathematical ProgrammingNumerical AnalysisEngineeringConstraint ProgrammingLra Solvers	2010	35
SP&R: SMT-Based Simultaneous Place-and-Route for Standard Cell Synthesis of Advanced Nodes Daeyeal Lee, Dongwon Park, Chia-Tung Ho, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringField-effect TransistorsElectronic Design AutomationElectronic DesignComputer Architecture	2020	35
Delta-Complete Analysis for Bounded Reachability of Hybrid Systems Sicun Gao, Soonho Kong, Wei Chen, Bounded ReachabilityStochastic Hybrid SystemReachability AnalysisEngineeringReachability Problem	2014	34

Page 1