Research

My group studies learning–control methods with formal guarantees. Two themes anchor our recent work: Networked Control with Safety & Stability and System Theory for Algorithm Design.

1) Networked Control with Safety and Stability Guarantees

Large-scale networked systems such as autonomous aerial/ground fleets, power grids—require many agents to coordinate sensing, actuation, and communication in real time. We design learning-based control frameworks that scale to these environments while preserving rigorous safety and stability guarantees, without unnecessary conservatism.

Slide decks

1 / ? Open PDF
Neural network control with stability guarantees
1 / ? Open PDF
Selected contributions overview

2) System Theory for Algorithm Design

Many engineering problems involve solving optimization tasks rapidly and reliably. System and control theory offer a principled toolkit to design optimization algorithms with formal guarantees on convergence, speed, and robustness. We develop enhanced optimization and machine learning algorithms by leveraging nonlinear system theory and integrating neural network components.

Slide decks

1 / ? Open PDF
Learning to optimize with convergence guarantees

Representative publications