Siyuan Liu

Siyuan Liu 

Research Assistant @ SoSy Lab, LMU, Munich
Ph.D. Candidate @ Technical University of Munich

Department of Electrical and Computer Engineering
Technical University of Munich
Room: 3993 in building 0509
Arcisstr. 21, 80333 Munich, Germany

Tel: +

Bio and Research

Siyuan Liu is a Ph.D. student in the Department of Electrical and Computer Engineering at Technical University of Munich (TUM), and a research assistant in the Chair of Software and Computational Systems at Ludwig-Maximilian University of Munich, Germany. She received her B.E. degree (in Automation Science, 2014) and M.E. degree (in Control Engineering, 2017) both from Beihang University, China. In 2021, she was a visiting researcher at KTH Royal Institute of Technology, Stockholm, Sweden. Her current research interests include:

  • Compositional synthesis and verification of large-scale systems;

  • Formal methods;

  • Safety and security in cyber-physical systems;

  • Nonlinear control 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

Conference Papers

  • S. Liu, A. Saoud, P. Jagtap, D. V. Dimarogonas, M. Zamani. Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts. 61th IEEE Conference on Decision and Control (CDC), to appear, December 2022.

  • S. Tasdighi Kalat, S. Liu, and M. Zamani. Verification of approximate infinite-step opacity using barrier certificates. European Control Conference (ECC), pp. 175-180, July 2020.

  • S. Liu, A. Swikir, and M. Zamani. Compositional verification of initial-state opacity for switched systems. 59th IEEE Conference on Decision and Control (CDC), pp. 2146-2151, December 2020.

  • S. Liu, X. Yin, and M. Zamani. On a notion of approximate opacity for discrete-time stochastic control systems. American Control Conference (ACC), pp. 5413-5418, July 2020. (PDF)

  • S. Liu and M. Zamani. Compositional synthesis of almost maximally permissible safety controllers. American Control Conference (ACC), pp. 1678-1683, July 2019.

  • 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.