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).
- 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.
- June 17, 2017
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!