Follow
Bingzhuo Zhong (钟秉灼)
Bingzhuo Zhong (钟秉灼)
Postdoctoral researcher, University of California, Berkeley and University of Colorado Boulder
Verified email at berkeley.edu - Homepage
Title
Cited by
Cited by
Year
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates
A Nejati, B Zhong, M Caccamo, M Zamani
Learning for Dynamics and Control Conference, 763-776, 2022
172022
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations
B Zhong, A Lavaei, M Zamani, M Caccamo
Automatica 147, 110696, 2023
92023
Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber–physical systems
B Zhong, A Lavaei, H Cao, M Zamani, M Caccamo
Nonlinear Analysis: Hybrid Systems 43, 101110, 2021
82021
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems
A Lavaei, B Zhong, M Caccamo, M Zamani
Proceedings of the Workshop on Computation-Aware Algorithmic Design for …, 2021
72021
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach
B Zhong, M Zamani, M Caccamo
2022 IEEE Conference on Control Technology and Applications (CCTA), 1278-1284, 2022
62022
Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach
B Zhong, M Zamani, M Caccamo
IEEE Transactions on Automatic Control, 2023
52023
Sandboxing Controllers for Stochastic Cyber-Physical Systems
B Zhong, M Zamani, M Caccamo
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
52019
Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems
B Zhong, C Jordan, J Provost
ACM Transactions on Cyber-Physical Systems 5 (2), 1-25, 2021
42021
Secure-by-Construction Synthesis for Control Systems
B Zhong, S Liu, M Caccamo, M Zamani
arXiv preprint arXiv:2307.02564, 2023
32023
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games
B Zhong, H Cao, M Zamani, M Caccamo
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15340 …, 2023
32023
Evaluating method of effectiveness of light energy's utilization based on service requirement
B Zhong, X Li, Z Zou
2015 International Conference on Renewable Energy Research and Applications …, 2015
32015
Secure-by-Construction Controller Synthesis via Control Barrier Functions
B Zhong, S Liu, M Caccamo, M Zamani
IFAC-PapersOnLine 56 (2), 239-245, 2023
22023
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems
B Zhong, M Zamani, M Caccamo
2022 American Control Conference (ACC), 1575-1581, 2022
22022
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach
A Nejati, B Zhong, M Caccamo, M Zamani
2022 2nd International Workshop on Computation-Aware Algorithmic Design for …, 2022
12022
Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems
B Zhong, S Liu, M Caccamo, M Zamani
2023 62nd IEEE Conference on Decision and Control (CDC), 1833-1840, 2023
2023
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
B Zhong
TUM School of Computation, Information and Technology, Technical University …, 2023
2023
Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
B Zhong, A Lavaei, M Zamani, M Caccamo
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
2022
Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture
B Zhong, H Cao, M Zamani, M Caccamo
arXiv preprint arXiv:2203.14924, 2022
2022
CAADCPS 2022
A Pinto, S Plambeck, G Fey, A Devonport, A Saoud, A Nejati, B Zhong, ...
The system can't perform the operation now. Try again later.
Articles 1–19