1.2k citations · 1.6k across the 35 of their papers we have counts for
7 papers · 1 filter
Exact Verification of First-Order Methods via Mixed-Integer Linear Programming
Vinit Ranjan, Jisun Park, Stefano Gualandi +2
We present exact mixed-integer linear programming formulations for verifying the performance of first-order methods for parametric quadratic optimization. We formulate the verifica…
Learning Algorithm Hyperparameters for Fast Parametric Convex Optimization
Rajiv Sambharya, Bartolomeo Stellato
We introduce a machine-learning framework to learn the hyperparameter sequence of first-order methods (e.g., the step sizes in gradient descent) to quickly solve parametric convex…
Learning Hierarchical Control For Multi-Agent Capacity-Constrained Systems
Charlott Vallon, Alessandro Pinto, Bartolomeo Stellato +1
This paper introduces a novel data-driven hierarchical control scheme for managing a fleet of nonlinear, capacity-constrained autonomous agents in an iterative environment. We prop…
Data-Driven Performance Guarantees for Classical and Learned Optimizers
Rajiv Sambharya, Bartolomeo Stellato
We introduce a data-driven approach to analyze the performance of continuous optimization algorithms using generalization guarantees from statistical learning theory. We study clas…
A neural network-based approach to hybrid systems identification for control
Filippo Fabiani, Bartolomeo Stellato, Daniele Masti +1
We consider the problem of designing a machine learning-based model of an unknown dynamical system from a finite number of (state-input)-successor state data points, such that the…
Verification of First-Order Methods for Parametric Quadratic Optimization
Vinit Ranjan, Bartolomeo Stellato
We introduce a numerical framework to verify the finite step convergence of first-order methods for parametric convex quadratic optimization. We formulate the verification problem…
Who Plays First? Optimizing the Order of Play in Stackelberg Games with Many Robots
Haimin Hu, Gabriele Dragotto, Zixu Zhang +3
We consider the multi-agent spatial navigation problem of computing the socially optimal order of play, i.e., the sequence in which the agents commit to their decisions, and its as…