Bingzhuo Zhong


Chair of Cyber-Physical Systems in Production Engineering
Department of Mechanical Engineering, Technical University of Munich
MW2106, Boltzmannstraße 15, 85748 Garching b. München


+49 89 289 55176






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.


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.


B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo,  "Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations",  in arXiv preprint arXiv:2104.11803,  Apr 2021.

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 arXiv preprint arXiv:2102.05490,  Feb 2021.