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
15 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
7 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
7 2021 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
6 2021 Formal Synthesis of Controllers for Uncertain Linear Systems Against B Zhong, M Zamani, M Caccamo
IEEE Transactions on Automatic Control, 2023
4 2023 Sandboxing Controllers for Stochastic Cyber-Physical Systems B Zhong, M Zamani, M Caccamo
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
4 2019 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
3 2022 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
3 2021 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
3 2015 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 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
1 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
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 Secure-by-Construction Synthesis for Control Systems B Zhong, S Liu, M Caccamo, M Zamani
arXiv preprint arXiv:2307.02564, 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, ...
Marco CaccamoProfessor, Department of Mechanical Engineering, Technical University of Munich (TUM)Bestätigte E-Mail-Adresse bei tum.de
