Publications

Preprints

  1. B. Zhong, S. Liu, M. Caccamo, and M. Zamani, Secure-by-Construction Synthesis for Conrtrol System, In: IEEE Transactions on Automatic Control, under review, 2023.

Journal Papers

  1. N. Jahanshahi, B. Zhong, and M. Zamani, Sandboxing (AI-based) unverified controllers in partially-observable systems: A data-driven approach, In: IEEE Transactions on Automatic Control, conditionally accepted, 2023.

  2. B. Zhong, M. Zamani, and M. Caccamo, Formal synthesis of controllers for uncertain linear systems against omega-regular properties: A set-based approach, In: IEEE Transactions on Automatic Control, Vol. 69, No. 1, 214-229, 2024. (Preprint)

  3. B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo, Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations, In: Automatica, 147C, 2023. (Preprint) (Editors’ Choice paper for January 2023)

  4. B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo, Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic Cyber-Physical Systems, In: Nonlinear Analysis: Hybrid Systems, 43C, 2021 (Preprint)

  5. B. Zhong, C. Jordan, and P. Julien, Extending signal temporal logic with quantitative semantics by intervals for robust monitoring of Cyber-Physical Systems, In: ACM Transactions on Cyber-Physical Systems, 5(2), 2021.

Conference Proceedings

  1. B. Zhong, S. Liu, M. Caccamo, and M. Zamani, Towards trustworthy AI: Sandboxing AI-based unverified controllers for safe and secure Cyber-Physical Systems, In: Proceedings of 62nd IEEE Conference on Decision and Control (CDC), pp. 1833-1840, 2023.

  2. B. Zhong, S. Liu, M. Caccamo, and M. Zamani, Secure-by-construction controller synthesis via control barrier functions, In: Proceedings of The 22nd IFAC World Congress, Vol. 56 No. 2, pp. 239-245, 2023.

  3. B. Zhong, H. Cao, M. Zamani, and M. Caccamo, Towards safe AI: Sandboxing DNNs-based Controllers in Stochastic Games In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, Vol. 37 No. 12, pp. 15340-15349, 2023.

  4. B. Zhong, M. Zamani, and M. Caccamo, Synthesizing safety controllers for uncertain linear systems: A direct data-driven approach, In: Proceedings of IEEE Conference on Control Technology and Applications (CCTA), pp. 1278-1284, 2022. (Preprint)

  5. A. Nejati*, B. Zhong*, M. Caccamo and M. Zamani, Data-driven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates, In: Proceedings of the 4th Annual Learning for Dynamics and Control Conference (L4DC), PMLR 168, 2022.

  6. B. Zhong, M. Zamani, and M. Caccamo, A set-based approach for synthesizing controllers enforcing omega-regular properties over uncertain linear control systems, In: Proceedings of American Control Conference (ACC), pp. 1575 - 1581, 2022.

  7. A. Nejati*, B. Zhong*, M. Caccamo, and M. Zamani, Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach, In: Proceedings of the International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), IEEE, 2022

  8. B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo, Poster abstract: Controller synthesis for nonlinear stochastic games via approximate probabilistic relations, In: Proceeding of 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), ACM, 2022

  9. A. Lavaei, B. Zhong, and M. Caccamo, and M. Zamani, Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic Cyber-Physical Systems, In: Proceedings of the International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), ACM, 2021

  10. B. Zhong, M. Zamani, and M. Caccamo, Sandboxing controllers for stochastic Cyber-Physical Systems, In: 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science (VOL 11750), Springer, 2019.

  11. B. Zhong, X. Li, and Z. Zou, Evaluating method of effectiveness of light energy's utilization based on service requirement, In: Proceedings of 2015 International Conference on Renewable Energy Research and Applications (ICRERA), IEEE, 2015.

* Contribute equally

Dissertation

  1. B. Zhong, Formal Methods for Sandboxing Controllers in Cyber-Physical Systems, Ph.D. Thesis, Technical University of Munich, 2023