3 papers
eess.SY2025
From Natural Language to Certified H-infinity Controllers: Integrating LLM Agents with LMI-Based Synthesis
Shihao Li, Jiachen Li, Jiamin Xu +1
We present \textsc{S2C} (Specification-to-Certified-Controller), a multi-agent framework that maps natural-language requirements to certified state-feedback co…
cs.LG2025
Algorithm-Relative Trajectory Valuation in Policy Gradient Control
Shihao Li, Jiachen Li, Jiamin Xu +3
We study how trajectory value depends on the learning algorithm in policy-gradient control. Using Trajectory Shapley in an uncertain LQR, we find a negative correlation between Per…
math.OC2025
Existence and Uniqueness of Solution for Linear Complementarity Problem in Contact Mechanics
Jiamin Xu, Nazli Demirer, Vy Pho +5
Although a unique solution is guaranteed in the Linear complementarity problem (LCP) when the matrix is positive definite, practical applications often involve cases w…