Siyuan Liu

Siyuan Liu 

Ph.D. Candidate

Department of Electrical and Computer Engineering
Technical University of Munich
Room: 3017 in building 2906
Karlstraße. 45/47
80333 München

Tel: +

Bio and Research

Siyuan Liu is a PhD student in the Hybrid Control Systems group, Department of Electrical Engineering and Information Technology at the Technical University of Munich (TUM) since October 2017. She received her B.Sc. degree (Automation Science and Electrical Engineering, 2014) and M.Sc. degree (Control Engineering, 2017) from Beihang University, China. Her current research interests:

  • Compositional synthesis and verification of large-scale systems;

  • Formal methods;

  • Safety and secuirty on Cyber-Physical Systems.

Teaching and supervision

  • Summer Semester 2019: Advanced Seminar on Cyber-physical Systems (Supervision). Topic: Compositional Safety Synthesis For Interconnected System Based On Set-Invariance; Analysis on security and privacy properties in Cyber-Physical Control Systems

Journal Papers

  • Z. Liang, S. Liu, et al. Lateral entry guidance with no-fly zone constraint. Aerospace science and technology, 60: 39-47. 2017.

Conference Papers

  • S. Liu and M. Zamani. Compositional synthesis of almost maximally permissible safety controllers. IEEE American Control Conference (ACC), July 2019 (Accepted, to appear).

  • S. Liu, Z. Liang, et al. Predictor-corrector guidance for entry with terminal altitude constraint. IEEE Chinese Control Conference (CCC), pp. 5557-5562, July 2016.