4 papers
APX-Hardness of Computing Lipschitz Constants for Multi-Parametric Quadratic Programs
Xingchen Li, Kunpeng Liu, Keyou You
Computing the Lipschitz constant of the solution map of a multi-parametric quadratic program is important for the analysis of optimization-based control. This problem is governed b…
LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs
Zhinan Hou, Xingchen Li, Yankai Zhang +2
Efficient branching policies are essential for accelerating Mixed Integer Linear Programming (MILP) solvers. Their design has long relied on hand-crafted heuristics, and now machin…
A Unified Hybrid Control Architecture for Multi-DOF Robotic Manipulators
Xinyu Qiao, Yongyang Xiong, Yu Han +1
Multi-degree-of-freedom (DOF) robotic manipulators exhibit strongly nonlinear, high-dimensional, and coupled dynamics, posing significant challenges for controller design. To addre…
ReLU Networks for Model Predictive Control: Network Complexity and Performance Guarantees
Xingchen Li, Keyou You
Recent years have witnessed a resurgence in using ReLU neural networks (NNs) to represent model predictive control (MPC) policies. However, determining the required network complex…