Zishun Liu - Personal Academic Page

About Me

Welcome to my academic homepage. I am a 4th-year PhD student in Machine Learning at Georgia Institute of Technology, under the supervision of Prof. Yongxin Chen. Previously, I received my bachelor degree in Engineering from Shanghai Jiao Tong University, Department of Automation. You can find more about my work on this page.

When not doing research, I'm a fan of ACGN culture. For outdoor activities, I like traveling and swimming.

Research

My research interests encompass the fields of control theory, stochastic systems, probability, optimization, and machine learning. Currently, my research is focused on but not limited to the safety, reachability and control syhthesis of stochastic control systems, as well as their applications in autonomy.

Safety of Stochastic Systems. Design computationally tractable controllers that provide formal, high-probability (e.g., 99.99%) safety guarantees for nonlinear stochastic systems.
Reachability Analysis under Uncertainties. For systems under uncertainties, develop computationally efficient methods to approximate their reachable sets, and leverage them in safe controller synthesis.
Application of Safe Control in Autonomy Synthesize real-time implementable control policies that provide provable safety guarantees for autonomy dynamical systems under uncertainties.

Selected Publications

A full list of my publications is available on my Google Scholar profile.

Preprints

A New Proof of Sub-Gaussian Norm Concentration Inequality
Z. Liu, S. Power and Y. Chen, arxiv: 2503.14347. [PDF]

Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems
Z. Liu, S. Jafarpour and Y. Chen, arxiv: 2409.09334. [PDF]

Journals

Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube
Z. Liu, S. Jafarpour and Y. Chen, Accepted by IEEE Transactions on Automatic Control [PDF]

Probabilistic Reachability Analysis of Stochastic Control Systems
Z. Liu^*, S. Jafarpour ^* and Y. Chen, IEEE Transactions on Automatic Control [PDF]

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
L. Ma, Z. Liu, H. Yu and Y. Chen, IEEE Control Systems Letters [PDF]

Conferences

Trajectory Optimization of Stochastic Systems under Chance Constraints via Set Erosion
Z. Liu^*, L. Ma ^* and Y. Chen, Accepted by 2025 IEEE Conference on Decision and Control (CDC) [PDF]

Safety Verification of Stochastic Systems: A Set-Erosion Approach
Z. Liu, S. Jafarpour and Y. Chen, 2025 American Control Conference (ACC) [PDF]

*: The contributions of the authors are equal.

News

2025.07: Our paper "Safety Verification of Nonlinear Stochastic Systems via Probabilistic Tube" was accepted by IEEE Transactions on Automatic Control. Sincerest appreciation to my collaborators for all your efforts!
2025.07: We (with Prof. Yongxin Chen) delivered talks titled "Safety Assurance of Stochastic Systems" and "Safety Verification of Stochastic Systems: A Set-Erosion Approach" in 2025 ACC.
2025.04: Our paper "Probabilistic Reachability Analysis of Stochastic Control Systems" was accepted by IEEE Transactions on Automatic Control. Sincerest appreciation to my collaborators for all your efforts!

Contact

Email: [zliu910] [at] [gatech.edu]