Kang, Shucheng
- Persistently Feasible Robust Safe Control by Safety Index Synthesis and Convex Semi-Infinite Programming
2022/09/14 by Tianhao Wei, Shucheng Kang, Wei, Tianhao +5 · 2 citations
Decision Sciences · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #Fault Detection and Control Systems #Risk and Safety Analysis #Robotics (cs.RO)
- Verification and Synthesis of Robust Control Barrier Functions: Multilevel Polynomial Optimization and Semidefinite Relaxation
2023/03/17 by Shucheng Kang, Kang, Shucheng, Yuxiao Chen +5 · 2 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Robotics (cs.RO) #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- Fast and Certifiable Trajectory Optimization
2024/06/09 by Kang, Shucheng, Xu, Xiaoyang, Sarva, Jay +2 · 2 citations
#FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC) #Robotics (cs.RO)
- Global Contact-Rich Planning with Sparsity-Rich Semidefinite Relaxations
2025/02/05 by Kang, Shucheng, Liu, Guorui, Yang, Heng · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC) #Robotics (cs.RO)
- Local Linear Convergence of the Alternating Direction Method of Multipliers for Semidefinite Programming under Strict Complementarity
2025/03/26 by Kang, Shucheng, Jiang, Xin, Yang, Heng · 1 citation
#FOS: Mathematics #Optimization and Control (math.OC)