Seguir
Bingzhuo Zhong (钟秉灼)
Bingzhuo Zhong (钟秉灼)
Assistant Professor, Hong Kong University of Science and Technology (Guangzhou)
Dirección de correo verificada de hkust-gz.edu.cn - Página principal
Título
Citado por
Citado por
Año
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
272022
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
132023
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
122022
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
102021
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
82021
Sandboxing Controllers for Stochastic Cyber-Physical Systems
B Zhong, M Zamani, M Caccamo
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
62019
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
52023
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 69 (1), 214-229, 2023
52023
Secure-by-Construction Controller Synthesis via Control Barrier Functions
B Zhong, S Liu, M Caccamo, M Zamani
IFAC-PapersOnLine 56 (2), 239-245, 2023
52023
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
52021
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
42015
Secure-by-Construction Synthesis for Control Systems
B Zhong, S Liu, M Caccamo, M Zamani
arXiv preprint arXiv:2307.02564, 2023
32023
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates
B Zhong, W Dong, X Yin, M Zamani
IFAC-PapersOnLine 58 (11), 81-86, 2024
22024
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
Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations
B Zhong, M Arcak, M Zamani
IFAC-PapersOnLine 58 (11), 13-18, 2024
12024
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
12023
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
Transfer Learning for Control Systems via Neural Simulation Relations
A Nadali, B Zhong, A Trivedi, M Zamani
arXiv preprint arXiv:2412.01783, 2024
2024
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
B Zhong, W Dong, X Yin, M Zamani
arXiv preprint arXiv:2408.06982, 2024
2024
Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models
P Griffioen, B Zhong, M Arcak, M Zamani, M Caccamo
arXiv preprint arXiv:2407.11256, 2024
2024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20