| ∘ |
B. Zhong, M. Zamani, and M. Caccamo,
"Formal Synthesis of Controllers for Uncertain Linear Systems against omega-Regular Properties: A Set-based Approach",
in IEEE Transactions on Automatic Control,
Apr 2023 (to appear as a full paper).
|
| ∘ |
B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo,
"Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations",
in Automatica,
Jan 2023 (Featured by Editor-in-Chief as the Editors' Choice papers for January 2023.).
|
| ∘ |
B. Zhong, A. Lavaei, H. Cao, M. Zamani, and M. Caccamo,
"Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems",
in Nonlinear Analysis: Hybrid Systems,
Vol. 43,
Dec 2021.
|
| ∘ |
B. Zhong, C. Jordan, and P. Julien,
"Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-Physical Systems",
in ACM Transactions on Cyber-Physical Systems,
Vol. 5,
No. 2,
Jan 2021.
|
| ∘ |
B. Zhong, H. Cao, M. Zamani, and M. Caccamo,
"Towards safe AI: Sandboxing DNNs-based Controllers in Stochastic Games",
in Proceedings of the 37th AAAI Conference on Artificial Intelligence,
Jan 2023 (To appear.).
|
| ∘ |
B. Zhong, M. Zamani, M. Caccamo,
"Set-based Approach for Synthesizing Controllers Enforcing Omega-Regular Properties over Uncertain Linear Control Systems",
in Proceedings of American Control Conference (ACC),
Atlanta, GA, USA,
Sep 2022.
|
| ∘ |
B. Zhong, M. Zamani, M. Caccamo,
"Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach",
in 6th IEEE Conference on Control Technology and Applications,
Aug 2022 (To appear).
|
| ∘ |
A. Nejati, B. Zhong, M. Caccamo, M. Zamani,
"Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates",
in Proceedings of The 4th Annual Learning for Dynamics and Control Conference, PMLR,
Vol. 168,
Jun 2022.
|
| ∘ |
A. Nejati, B. Zhong, M. Caccamo, M. Zamani,
"Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach",
in Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems,
May 2022.
|
| ∘ |
B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo,
"Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations",
in 25th ACM International Conference on Hybrid Systems: Computation and Control,
May 2022.
|
| ∘ |
A. Lavaei, B. Zhong, M. Caccamo, M. Zamani,
"Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems",
in Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems,
Jul 2021.
|
| ∘ |
B. Zhong, M. Zamani, and M. Caccamo,
"Sandboxing controllers for stochastic cyber-physical systems.",
in 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), Lecture Notes in Computer Science,
Amsterdam, Netherlands,
Aug 2019.
|
