Bingzhuo Zhong


Address  

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

Phone  

+49 89 289 55176

Email  

bingzhuo.zhong@tum.de

Links  

        

Publications


Journals

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

Preprints

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.