1 citations · 1 across the 15 of their papers we have counts for
5 papers · 1 filter
Co-designing a Layered Control Architecture
Chris Verhoek, Charis Stamouli, George J. Pappas +1
Layered control architectures (LCAs) are ubiquitous in complex engineering systems. However, in practice they are largely designed ad hoc and mostly dictated by the experience of t…
Verifying performance, stability, and feasibility of inexact non-linear model predictive controllers
Rajiv Sambharya, Sribalaji C. Anand, George Pappas
We introduce a verification framework to numerically analyze inexact model predictive controllers (MPCs) in the constrained non-linear discrete-time setting. Rather than modifying…
Multitask LQG Control: Performance and Generalization Bounds
Leonardo F. Toso, Kasra Fallah, Charis Stamouli +2
We study multitask learning for stochastic and partially observed control systems, focusing on the linear quadratic Gaussian (LQG) problem. Our goal is to learn a common stabilizin…
Verification of Sequential Convex Programming for Parametric Non-convex Optimization
Rajiv Sambharya, Nikolai Matni, George Pappas
We introduce a verification framework to exactly verify the worst-case performance of sequential convex programming (SCP) algorithms for parametric non-convex optimization. The ver…
Learning Acceleration Algorithms for Fast Parametric Convex Optimization with Certified Robustness
Rajiv Sambharya, Jinho Bok, Nikolai Matni +1
We develop a machine-learning framework to learn hyperparameter sequences for accelerated first-order methods (e.g., the step size and momentum sequences in accelerated gradient de…