Bingzhuo Zhong

According to our database, Bingzhuo Zhong authored at least 18 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach.

Bingzhuo Zhong, Majid Zamani, Marco Caccamo

IEEE Trans. Autom. Control., January, 2024

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach.

Bingzhuo Zhong, Weijie Dong, Xiang Yin, Majid Zamani

CoRR, 2024

Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models.

Paul Griffioen, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Marco Caccamo

CoRR, 2024

2023

Formal Methods for Sandboxing Controllers in Cyber-Physical Systems .

Bingzhuo Zhong

PhD thesis, 2023

Secure-by-Construction Synthesis for Control Systems.

Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani

CoRR, 2023

Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations.

Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo

Autom., 2023

Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems.

Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games.

Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture.

Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo

CoRR, 2022

Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates.

Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani

Proceedings of the Learning for Dynamics and Control Conference, 2022

Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations.

Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach.

Bingzhuo Zhong, Majid Zamani, Marco Caccamo

Proceedings of the IEEE Conference on Control Technology and Applications, 2022

A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems.

Bingzhuo Zhong, Majid Zamani, Marco Caccamo

Proceedings of the American Control Conference, 2022

2021

Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems.

Bingzhuo Zhong, Claudius Jordan, Julien Provost

ACM Trans. Cyber Phys. Syst., 2021

Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach.

Bingzhuo Zhong, Majid Zamani, Marco Caccamo

CoRR, 2021

Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems.

Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo

CoRR, 2021

Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems.

Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

2019

Sandboxing Controllers for Stochastic Cyber-Physical Systems.

Bingzhuo Zhong, Majid Zamani, Marco Caccamo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019