Welcome to Hybrid Systems Lab
The Hybrid Systems Laboratory 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 complex cyber-physical systems such as drones.
We are part of the Department of Applied Mathematics, located in the Mathematics and Computer Building (MC 6470).