Siyuan Liu
 |
Research Assistant @ SoSy Lab, LMU, Munich |
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
S. Liu, A. Trivedi, X. Yin, and M. Zamani. Secure-by-Construction Synthesis of Cyber-Physical Systems. Annual Reviews in Control, vol. 53, pp. 30-50, 2022. doi: 10.1016/j.arcontrol.2022.03.004. (Preprint)
S. Liu, N. Noroozi, and M. Zamani. Symbolic models for infinite networks of control systems: A compositional approach. Nonlinear Analysis: Hybrid Systems, vol. 43, December 2021. doi: 10.1016/j.nahs.2021.101097. (Preprint)
S. Tasdighi Kalat, S. Liu, and M. Zamani. Modular verification of opacity for interconnected control systems via barrier certificates. IEEE Control Systems Letters, vol. 6, pp. 890-895, 2022. doi: 10.1109/LCSYS.2021.3087103.
S. Liu, A. Swikir, and M. Zamani. Verification of approximate-state opacity for switched systems: A compositional approach. Nonlinear Analysis: Hybrid Systems, vol. 42, November 2021. doi: 10.1016/j.nahs.2021.101084. (Preprint)
S. Liu, M. Zamani. Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. Automatica, vol. 131, September 2021. doi: 10.1016/j.automatica.2021.109745. (Preprint)
S. Liu and M. Zamani. Verification of approximate opacity via barrier certificates. IEEE Control Systems Letters (presented at ACC 2021), 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, vol. 66, no. 4, pp. 1630-1645, April 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. doi: 10.1016/j.ast.2016.10.025.
S. Liu, Z. Liang, Z. Ren, Q. Li. Review of reentry guidance methods for hypersonic gliding vehicles. Chinese Space Science and Technology, 36(6), 1. 2016.
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.