3 papers
math.OC2026
Foundations of Machine-Checked Control Theory in Lean
Moritz Doll, Iman Shames
We introduce an open-source library for machine-checked control theory in the interactive proof assistant Lean to lay foundations for the verification of cyber-physical systems. To…
cs.LG2025
ZORMS-LfD: Learning from Demonstrations with Zeroth-Order Random Matrix Search
Olivia Dry, Timothy L. Molloy, Wanxin Jin +1
We propose Zeroth-Order Random Matrix Search for Learning from Demonstrations (ZORMS-LfD). ZORMS-LfD enables the costs, constraints, and dynamics of constrained optimal control pro…
math.OC2023
A Robust Control Approach to Asymptotic Optimality of the Heavy Ball Method for Optimization of Quadratic Functions
V. Ugrinovskii, I. R. Petersen, I. Shames
Among first order optimization methods, Polyak's heavy ball method has long been known to guarantee the asymptotic rate of convergence matching Nesterov's lower bound for functions…