Siyuan Liu (刘思源)

Siyuan Liu (刘思源)

Postdoc Researcher at KTH

Publications

Preprint

  1. S. Liu, X. Yin, D. V. Dimarogonas, and M. Zamani, On approximate opacity of stochastic control systems, arXiv:2401.01972, 2024.
  2. S. Liu, A. Saoud, and D. V. Dimarogonas, Controller synthesis of collaborative signal temporal logic tasks for multi-agent systems via assume-guarantee contracts, arXiv:2309.13499, 2023.
  3. B. Zhong, S. Liu, M. Caccamo, and M. Zamani, Secure-by-construction synthesis for control systems, arXiv:2307.02564, 2023.

Journal Papers

  1. J. Hou*, S. Liu*, X. Yin, and M. Zamani. Abstraction-based verification of approximate pre-opacity for control systems. IEEE Control Systems Letters, vol. 7, pp. 1087–1092, 2022. doi: 10.1109/LCSYS.2022.3230770. (*contributed equally)
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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

  1. G. Marchesini, S. Liu, L. Lindemann and D. V. Dimarogonas. Communication-constrained STL task decomposition through convex optimization. 2024 American Control Conference, to appear, July 2024.
  2. B. Zhong, S. Liu, M. Caccamo, and M. Zamani. Towards trustworthy AI: Sandboxing AI-based unverified controllers for safe and secure cyber-physical systems. the 62nd IEEE Conference on Decision and Control (CDC), to appear, December 2023.
  3. J. Hou, S. Liu, X. Yin, and M. Zamani. Abstraction-based synthesis of controllers for approximate opacity, the 62nd IEEE Conference on Decision and Control (CDC), to appear, December 2023.
  4. B. Zhong, S. Liu, M. Caccamo, and M. Zamani. Secure-by-Construction Controller Synthesis via Control Barrier Functions. 22nd IFAC World Congress, 56(2), 239-245, July 2023.
  5. S. Liu, A. Saoud, P. Jagtap, D. V. Dimarogonas, and M. Zamani. Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts. 61st IEEE Conference on Decision and Control (CDC), pp. 2184–2189, December 2022.
  6. 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 2022.
  7. 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.
  8. S. Liu, X. Yin, and M. Zamani. On a notion of approximate opacity for discrete-time stochastic control systems. 2020 American Control Conference (ACC), pp. 5413–5418, July 2020.
  9. S. Liu and M. Zamani. Compositional synthesis of almost maximally permissible safety controllers. American Control Conference (ACC), pp. 1678–1683, July 2019.
  10. 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.

Dissertations