Bingzhuo Zhong


Address  

Chair of Cyber-Physical Systems in Production Engineering
School of Engineering and Design, 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, A. Lavaei, M. Zamani, and M. Caccamo,  "Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations",  in Automatica,  Sep 2022 (to appear as a regular paper).

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

Preprints

B. Zhong, M. Zamani, and M. Caccamo,  "Formal Synthesis of Controllers for Uncertain Linear Systems against omega-Regular Properties: A Set-based Approach",  in arXiv preprint arXiv:2111.08734,  Nov 2021.