Publications

* Contribute equally; Corresponding Author

Preprints

  1. T. Yan, J. Chen, Q. Hua, Y. Yu, and B. Zhong, PHANTOM: Precise Hand via Analytic Mapping and Tendon Actuation for Open-Source, Modular Under-actuation, In: Proceedings of the 2026 IEEE International Conference on Robotics & Automation (ICRA), under review, 2025.

  2. T. Yan, H. Jian, K. Wang, X. Zhou, J. Long, Y. Zhang, W. Li, and B. Zhong, Mind Before Motion: The MCP Formal Interface and the MCP-V Verifiable Planning Layer for Multimodal Robotics, In: Proceedings of the 2026 IEEE International Conference on Robotics & Automation (ICRA), under review, 2025.

  3. J. Li, S. Chen, J. Li, M. Tian and B. Zhong, Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework, In: Proceedings of the Fourteenth International Conference on Learning Representations, under review, 2025.

  4. B. Zhong, M. Arcak, and M. Zamani, Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations, In: Nonlinear Analysis: Hybrid Systems, under review, 2025.

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

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

  7. 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, under review, 2023.

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, 70(6), 4170 - 4177, 2025.

  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. E. Dietrich, E. Gezer, B. Zhong, M. Arcak, M. Zamani, R. Skjetne, A. Sorensen, Symbolic Control for Autonomous Docking of Marine Surface Vessels, In: Proceedings of 64th IEEE Conference on Decision and Control (CDC), to appear, 2025.

  2. B. Zhong, Towards Safe AI: A Compositional Construction of Safe-visor Architecture for Interconnected Systems, In: Proceedings of 10th IFAC Conference on Networked Systems, IFAC-PapersOnLine 59(4), 199-204, 2025.

  3. W. Dong, B. Zhong, X. Yin, and M. Zamani, Verification of approximate prognosability via barrier certiffcates, In: Proceedings of 63rd IEEE Conference on Decision and Control (CDC), pp. 3693-3698, 2024.

  4. 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, IFAC-PapersOnLine 58 (11), 13-18, 2024. (Best Repeatability Prize Finalist)

  5. 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, IFAC-PapersOnLine 58 (11), 81-86, 2024.

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

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

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

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

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

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

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

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

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

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

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