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).
News
Lab members published new books
Two new books on formal methods and reinforcement learning for nonlinear control design have been published by members of the Hybrid Systems Labs!
Ruikun presented at NeurIPS 2022
Ruikun presented our recent work on neural Lyapunov control of unknown nonlinear systems with stability guarantees at NeurIPS 2022 in New Orleans. Congratulations to Ruikun and Juju on their joint work!
Funding programs for postdoctoral scholars
The University of Waterloo is seeking out excellent candidates for a few postdoctoral scholar programs outlined below. For details please visit the University of Waterloo postdoctoral funding opportunities – 2023 competition webpage.