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 at NeurIPS 2022 in New Orleans. Congratulations to Ruikun and Juju on their joint work!Â
The University of À¶Ý®ÊÓƵ is seeking out excellent candidates for a few postdoctoral scholar programs outlined below. For details please visit the .
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 , to be held virtually, May 19-21, 2021.Â
Congratulations to Dr. Liu for receiving the 2020Â !
Congratulations to Max for being awarded a prestigious Ìý(°ä³Ò³§-¶Ù)!Ìý
Congratulations to Yinan for winning the 2020 Huawei Prize for Best Research Paper by a Mathematics Graduate Student for her work on !ÌýÌý