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 cyber-physical systems.
We are part of the Department of Applied Mathematics, located in the Mathematics and Computer Building (MC 6470).
- Jan. 20, 2018
Congratulations to Yinan and Luc for having their papers:
- Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis (Yinan)
- ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems (Yinan)
- Sampling-based Motion Planning with mu-Calculus Specifications without Steering (Luc)
accepted to the
- Nov. 20, 2017
Dr. Jun Liu is named Canada Research Chair for his work in Hybrid Systems and Control.
See news release.
- June 30, 2017
Our paper on robust abstractions with Prof. Necmiye Ozay received the inaugural Nonlinear Analysis: Hybrid Systems Paper Prize, which recognizes outstanding contributions to the field of hybrid systems documented in a paper published in the International Federation of Automatic Control (IFAC) Journal Nonlinear Analysis: Hybrid Systems in the three years preceding the triennial IFAC World Congress.