Ph.D. Thesis Proposal

Zishun Liu

(Faculty Advisor: Professor Yongxin Chen)

"Safety Verification and Control for Nonlinear Stochastic Systems"

Thurs. April 30

11:00 a.m. - 12:30 p.m.

Coda C1015 Vinings

Remote meeting link: https://gatech.zoom.us/j/93030312736

Abstract

Safety is a fundamental requirement for many dynamical systems, including autonomous vehicles, robots, power grids and more. In real-world applications, however, stochastic disturbances are usually unavoidable, leading to trajectory fluctuations that compromise safety. In this presentation, I will present our recent achievements in developing effective stochastic safety verification framework by establishing tight bounds on the fluctuations of stochastic system trajectories. Furthermore, I will show that by leveraging our theoretical works, one can develop deterministic safety-aware control methods to provide high-probability safety guarantee for stochastic system trajectories. The effectiveness of our results will be demonstrated through several safety verification and safe control tasks.

Committee:

• Dr. Yongxin Chen (Advisor)
• Dr. Glen Chou
• Dr. Sen Na