Bingzhuo Zhong is a PhD student in the Chair of Cyber-Physical System in Production Engineering, Department of Mechanical Engineering at the Technical University of Munich (TUM) since November 2018 (jointly supervised by Prof. M. Zamani, Hybrid Control Systems (HyConSys) Group). He received his M.Sc. degree in mechanical engineering with specialization in control and automation from Technical University of Munich (TUM) in 2018. He received his B.Eng. degree in vehicle engineering from Tongji University, China in 2016. His main research interests are formal methods with application in control, cyber-physical systems and game theory.