Publications

Preprints

  1. B. Zhong, W. Dong, X. Yin, and M. Zamani, Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach, In: IEEE Transactions on Automatic Control, under review, 2024.

  2. P. Griffioen*, B. Zhong*, M. Arcak, M. Zamani and M. Caccamo Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models, In: Automatica, under review, 2024.

Journal Papers

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

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

  3. 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)

  4. 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)

  5. 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)

  6. 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, M. Arcak, and M. Zamani, Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations, In: Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, to appear, 2024. (Best Repeatability Prize Finalist)

  2. B. Zhong*, W. Dong*, X. Yin, and M. Zamani, Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates, In: Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems, to appear, 2024.

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

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

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

  6. 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)

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

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

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

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

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

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

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