| 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 | 31 | 2022 |
| 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 | 17 | 2023 |
| 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 | 12 | 2022 |
| 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 | 11 | 2021 |
| 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 | 8 | 2023 |
| 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 | 8 | 2021 |
| 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 | 6 | 2023 |
| Secure-by-Construction Controller Synthesis via Control Barrier Functions B Zhong, S Liu, M Caccamo, M Zamani IFAC-PapersOnLine 56 (2), 239-245, 2023 | 6 | 2023 |
| 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 | 6 | 2021 |
| Sandboxing Controllers for Stochastic Cyber-Physical Systems B Zhong, M Zamani, M Caccamo International Conference on Formal Modeling and Analysis of Timed Systems …, 2019 | 6 | 2019 |
| 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 | 4 | 2015 |
| Secure-by-construction synthesis for control systems B Zhong, S Liu, M Caccamo, M Zamani IEEE Transactions on Automatic Control, 2025 | 3 | 2025 |
| 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 | 2 | 2024 |
| 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 | 2 | 2022 |
| 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 | 1 | 2024 |
| 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 | 1 | 2023 |
| 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 | 1 | 2022 |
| Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework J Li, M Tian, B Zhong arXiv preprint arXiv:2503.15840, 2025 | | 2025 |
| Symbolic Control for Autonomous Docking of Marine Surface Vessels E Dietrich, EC Gezer, B Zhong, M Arcak, M Zamani, R Skjetne, ... arXiv preprint arXiv:2501.13199, 2025 | | 2025 |
| Verification of Approximate Prognosability via Barrier Certificates W Dong, B Zhong, X Yin, M Zamani 2024 IEEE 63rd Conference on Decision and Control (CDC), 3693-3698, 2024 | | 2024 |
Majid ZamaniAssociate Professor, University of Colorado BoulderEmail verificata su colorado.edu
