Bingzhuo Zhong

34 papers A* 1C 1Journal 21Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AR2-4FV: Anchored Referring and Re-identification for Long-Term Grounding in Fixed-View Videos. CoRR Teng Yan, Yihan Liu, Jiongxu Chen, Teng Wang, Jiaqi Li, Bingzhuo Zhong
2026	J	`jnl`	Agile-VLA: Few-Shot Industrial Pose Rectification via Implicit Affordance Anchoring. CoRR Teng Yan, Zhengyang Pei, Chengyu Shi, Yue Yu, Yikun Chen, Zilong Zhu, Zelin Fang, Kaile Guo, Zihang Wang, Peigen Tian, Bingzhuo Zhong
2026	J	`jnl`	Communication-Aware Synthesis of Safety Controller for Networked Control Systems. CoRR Yihan Liu, Meiqi Tian, Teng Yan, Bingzhuo Zhong
2026	J	`jnl`	PHANTOM Hand. CoRR Teng Yan, Jiongxu Chen, Qixiang Hua, Yue Yu, Zihang Wang, Yaohua Liu, Bingzhuo Zhong
2026	J	`jnl`	PiCo: Active Manifold Canonicalization for Robust Robotic Visual Anomaly Detection. CoRR Teng Yan, Binkai Liu, Shuai Liu, Yue Yu, Bingzhuo Zhong
2025	J	`jnl`	Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework. CoRR Junle Li, Meiqi Tian, Bingzhuo Zhong
2025	J	`jnl`	Secure-by-Construction Synthesis for Control Systems. IEEE Trans. Autom. Control. Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
2025	—	`conf`	Symbolic Control for Autonomous Docking of Marine Surface Vessels. CDC Elizabeth Dietrich, Emir Cem Gezer, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Roger Skjetne, Asgeir Johan Sørensen
2025	J	`jnl`	Symbolic Control for Autonomous Docking of Marine Surface Vessels. CoRR Elizabeth Dietrich, Emir Cem Gezer, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Roger Skjetne, Asgeir Johan Sørensen
2024	J	`jnl`	Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models. CoRR Paul Griffioen, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Marco Caccamo
2024	J	`jnl`	Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach. IEEE Trans. Autom. Control. Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2024	—	`conf`	Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations. ADHS Bingzhuo Zhong, Murat Arcak, Majid Zamani
2024	J	`jnl`	Transfer Learning for Control Systems via Neural Simulation Relations. CoRR Alireza Nadali, Bingzhuo Zhong, Ashutosh Trivedi, Majid Zamani
2024	—	`conf`	Verification of Approximate Prognosability via Barrier Certificates. CDC Weijie Dong, Bingzhuo Zhong, Xiang Yin, Majid Zamani
2024	—	`conf`	Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates. ADHS Bingzhuo Zhong, Weijie Dong, Xiang Yin, Majid Zamani
2024	J	`jnl`	Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach. CoRR Bingzhuo Zhong, Weijie Dong, Xiang Yin, Majid Zamani
2023	J	`jnl`	Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. Autom. Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
2023	—	`—`	Formal Methods for Sandboxing Controllers in Cyber-Physical Systems . Bingzhuo Zhong
2023	J	`jnl`	Secure-by-Construction Synthesis for Control Systems. CoRR Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
2023	A*	`conf`	Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. AAAI Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo
2023	—	`conf`	Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems. CDC Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
2022	C	`conf`	A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems. ACC Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2022	—	`conf`	Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. L4DC Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
2022	—	`conf`	Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
2022	J	`jnl`	Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture. CoRR Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo
2022	—	`conf`	Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CCTA Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2022	J	`jnl`	Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CoRR Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2021	J	`jnl`	Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. CoRR Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
2021	J	`jnl`	Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems. ACM Trans. Cyber Phys. Syst. Bingzhuo Zhong, Claudius Jordan, Julien Provost
2021	J	`jnl`	Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach. CoRR Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2021	J	`jnl`	Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems. CoRR Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo
2021	J	`jnl`	Sandboxing Controllers for Stochastic Cyber-Physical Systems. CoRR Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2021	—	`conf`	Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. CAADCPS@CPSIoTWeek Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
2019	—	`conf`	Sandboxing Controllers for Stochastic Cyber-Physical Systems. FORMATS Bingzhuo Zhong, Majid Zamani, Marco Caccamo