Bingzhuo Zhong


Address  

Chair of Cyber-Physical Systems in Production Engineering
School of Engineering and Design, Technical University of Munich
None, Boltzmannstraße 15, 85748 Garching b. München

Phone  

None

Email  

bingzhuo.zhong@tum.de

Links  

        

Publications


Journals

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,  Apr 2023 (to appear as a full paper).

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,  Jan 2023 (Featured by Editor-in-Chief as the Editors' Choice papers for January 2023.).

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,  Vol. 43,  Dec 2021.

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,  Vol. 5,  No. 2,  Jan 2021.

Conferences

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,  Jan 2023.

B. Zhong, M. Zamani, M. Caccamo,  "Set-based Approach for Synthesizing Controllers Enforcing Omega-Regular Properties over Uncertain Linear Control Systems",  in Proceedings of American Control Conference (ACC),  Atlanta, GA, USA,  Sep 2022.

B. Zhong, M. Zamani, M. Caccamo,  "Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach",  in 6th IEEE Conference on Control Technology and Applications,  Aug 2022 (To appear).

A. Nejati, B. Zhong, M. Caccamo, 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, PMLR,  Vol. 168,  Jun 2022.

A. Nejati, B. Zhong, M. Caccamo, M. Zamani,  "Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach",  in Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems,  May 2022.

B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo,  "Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations",  in 25th ACM International Conference on Hybrid Systems: Computation and Control,  May 2022.

A. Lavaei, B. Zhong, M. Caccamo, M. Zamani,  "Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems",  in Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems,  Jul 2021.

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,  Amsterdam, Netherlands,  Aug 2019.