Welcome to Hybrid Systems Lab

The Hybrid Systems Laboratory at the University of Waterloo conducts research at the interface of control, dynamical systems, and computation. 

Our current research focuses on theoretical and computational aspects of control, learning, and optimization for dynamical systems. We are particularly interested in rigorous analysis and control of dynamical systems with formal guarantees. We integrate control, dynamical systems, and optimization theory in applied mathematics with formal methods and learning techniques from computer science to design feedback control algorithms for cyber-physical systems. 

We are part of the Department of Applied Mathematics, located in the Mathematics and Computer Building (MC 6470).