Siyuan Liu

Siyuan Liu 

Ph.D. Candidate

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

Tel: +49.89.289.23560
E-Mail: sy.liu@tum.de

Bio and Research

Siyuan Liu is a Ph.D. student in the Department of Electrical and Computer Engineering at the Technical University of Munich (TUM) since October 2017. She received her B.E. degree (Dept. Automation Science and Electrical Engineering, 2014) and M.E. degree (in Control Engineering, 2017) from Beihang University, China. Her current research interests:

  • Compositional synthesis and verification of large-scale systems;

  • Formal methods;

  • Safety and security in 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

  • S. Liu, N. Noroozi, and M. Zamani. Symbolic models for infinite networks of control systems: A compositional approach. Submitted for publication. (Preprint)

  • S. Liu, M. Zamani. Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. Submitted for publication. (Preprint)

  • S. Liu, A. Swikir, and M. Zamani. Verification of initial-state opacity for switched systems: A compositional approach. Submitted for publication. (Preprint)

  • S. Liu and M. Zamani. Verification of approximate opacity via barrier certificates. IEEE Control Systems Letters, vol. 5, no. 4, pp. 1369-1374, Oct. 2021, doi: 10.1109/LCSYS.2020.3037840. (PDF)

  • X. Yin, M. Zamani, and S. Liu. On approximate opacity of cyber-physical systems. IEEE Transactions on Automatic Control, accepted and in press, 2021, doi: 10.1109/TAC.2020.2998733. (PDF)

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