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 rigorous analysis and provably correct control of dynamical systems. We integrate control and dynamical systems theory in applied mathematics with formal methods from computer science to design hybrid 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).