Hongchao Zhang
- Mini-batch stochastic approximation methods for nonconvex stochastic composite optimization
2014/12/10 by Saeed Ghadimi, Guanghui Lan, Hongchao Zhang · 64 citations
Computer Science · Engineering · Decision Sciences · #Stochastic Gradient Optimization Techniques #Sparse and Compressive Sensing Techniques #Risk and Portfolio Optimization
- Algorithm 851
2006/03/01 by William W. Hager, Hongchao Zhang · 7 citations
Mathematics · Computer Science · #Advanced Optimization Algorithms Research #Iterative Methods for Nonlinear Equations #Matrix Theory and Algorithms
- Exact Verification of ReLU Neural Control Barrier Functions
2023/10/13 by Hongchao Zhang, Junlin Wu, Zhang, Hongchao +5 · 5 citations
Computer Science · Engineering · Medicine · #Adversarial Robustness in Machine Learning #Cardiac Arrest and Resuscitation #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG)
- Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
2024/06/27 by Hongkai Dai, Chuanrui Jiang, Dai, Hongkai +5 · 6 citations
Engineering · #Adaptive Control of Nonlinear Systems #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Stability and Control of Uncertain Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
- SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
2024/10/27 by Hongchao Zhang, Zhang, Hongchao, Zhizhen Qin +4 · 5 citations
Engineering · Computer Science · #Advanced Memory and Neural Computing #CCD and CMOS Imaging Sensors #Neural Networks and Reservoir Computing
- Learning a Formally Verified Control Barrier Function in Stochastic Environment
2024/03/28 by Manan Tayal, Hongchao Zhang, Tayal, Manan +7 · 5 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #Fault Detection and Control Systems #Formal Methods in Verification #Robotics (cs.RO)
- A nonmonotone spectral projected gradient method for large-scale topology optimization problems
2010/06/03 by Ruhollah Tavakoli, Hongchao Zhang, Tavakoli, Ruhollah +1 · 1 citation
Computer Science · Engineering · Mathematics · #Advanced Multi-Objective Optimization Algorithms #Advanced Optimization Algorithms Research #FOS: Mathematics #Optimization and Control (math.OC) #Topology Optimization in Engineering
- Gradient methods exploiting spectral properties
2019/05/09 by Yakui Huang, Yu‐Hong Dai, Huang, Yakui +5 · 1 citation
Engineering · Mathematics · #90C20 #90C25 #90C30 #Advanced Optimization Algorithms Research #FOS: Mathematics #Numerical methods in inverse problems #Optimization and Control (math.OC) #Sparse and Compressive Sensing Techniques
- Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier Functions
2021/09/28 by Luyao Niu, Hongchao Zhang, Niu, Luyao +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Fault Detection and Control Systems #Gene Regulatory Network Analysis #Systems and Control (eess.SY) #electronic engineering #information engineering