Jun Liu
Assistant Professor
Applied Mathematics
University of Waterloo
Canada
Biography
Prof/Dr Jun Liu received Ph.D. degree in Applied Mathematics from the University of Waterloo in 2010. He is currently an Assistant Professor of Applied Mathematics and a Canada Research Chair in Hybrid Systems and Control at the University of Waterloo, where he directs the Hybrid Systems Laboratory. From 2012 to 2015, he was a Lecturer in Control and Systems Engineering at the University of Sheffield. During 2011 and 2012, he was a Postdoctoral Scholar in Control and Dynamical Systems at the California Institute of Technology. His main research interests are in the theory and applications of hybrid systems and control, including rigorous computational methods for control design with applications in cyber-physical systems.
Research Interest
Hybrid systems and control Formal methods for control design Dynamics and control of networks Applications in cyber-physical systems
Publications
-
Prabhakar P, Liu J. Bisimulations for input-output stability of hybrid systems. InDecision and Control (CDC), 2016 IEEE 55th Conference on 2016 Dec 12 (pp. 5515-5520). IEEE.
-
Liu J, Teel AR. Hybrid dynamical systems with finite memory. InRecent Results on Nonlinear Delay Control Systems 2016 (pp. 261-273). Springer International Publishing.
-
Nilsson P, Ozay N, Liu J. Augmented finite transition systems as abstractions for control synthesis. Discrete Event Dynamic Systems. 2017 Jun 1;27(2):301-40.
-
Liu J. Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties. InProceedings of the 20th International Conference on Hybrid Systems: Computation and Control 2017 Apr 13 (pp. 101-110). ACM.
