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). 

  1. June 30, 2017Nonlinear Analysis: Hybrid Systems Paper Prize

    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. 

  2. June 17, 2017Graduate student (PhD) positions available

    We are always looking for highly-motivated students with a strong mathematical background to join us. Students who are interested in the theory, computation, and applications of control and dynamical systems are encouraged to apply! 

Read all news

 

Meet our people

Jun Liu

Jun Liu, PhD

Assistant Professor

MC 6108
+1 519 888 4567, ext. 37550
j.liu@uwaterloo.ca