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 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!
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.
Yiming successfully defended his thesis titled "Bifurcation and Robust Control of Instabilities in the Presence of Uncertainties" today. The defence was conducted both remotely and in person. Committee members include Professors Serdar Yüksel (Queen's University), Sue Ann Compbell, Hans De Sterck, Stephen Smith, N. Sri Namachchivaya (co-supervisor) and Jun Liu (co-supervisor). Congratulations Dr. Meng!
Some of our recent work has been published in premier control, robotics, learning, and formal methods venues.
Congratulations Dr. Farsi!
Dr. Liu will deliver a keynote talk at the 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to be held virtually, May 19-21, 2021.
Congratulations to Dr. Liu for receiving the 2020 Canadian Applied and Industrial Mathematics Society and Pacific Institute for the Mathematical Sciences (CAIMS/PIMS) Early Career Award!
Congratulations to Max for being awarded a prestigious Alexander Graham Bell Canada Graduate Scholarship (CGS-D)!
Congratulations to Yinan for winning the 2020 Huawei Prize for Best Research Paper by a Mathematics Graduate Student for her work on formal methods for nonlinear control design!