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.