Bingzhuo Zhong

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 19

Top Topics

Controller Synthesis

Stochastic Games

Cyber Physical Systems

Top Venues

Publications

Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach. IEEE Trans. Autom. Control. 69 (1) (2024)
Paul Griffioen, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Marco Caccamo
Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models. CoRR (2024)
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems. CDC (2023)
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. Autom. 147 (2023)
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
Secure-by-Construction Synthesis for Control Systems. CoRR (2023)
Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. AAAI (2023)
Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. L4DC (2022)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CoRR (2022)
Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo
Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture. CoRR (2022)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CCTA (2022)
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC (2022)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems. ACC (2022)
Bingzhuo Zhong, Claudius Jordan, Julien Provost
Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems. ACM Trans. Cyber Phys. Syst. 5 (2) (2021)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach. CoRR (2021)
Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. CAADCPS@CPSIoTWeek (2021)
Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems. CoRR (2021)
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. CoRR (2021)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Sandboxing Controllers for Stochastic Cyber-Physical Systems. CoRR (2021)
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Sandboxing Controllers for Stochastic Cyber-Physical Systems. FORMATS (2019)