Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. - Yunjun Bai; Kaushik Mallik; Anne-Kathrin Schmuck; Damien Zufferey; Rupak Majumdar (CDC, 2019)

Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. - Yunjun Bai; Kaushik Mallik (ICFEM, 2020)

Abstraction-Based Incremental Inductive Coverability for Petri Nets. - Jiawen Kang 004; Yunjun Bai; Li Jiao (Petri Nets, 2021)

Reach-Avoid Analysis for Delay Differential Equations. - Bai Xue 001; Yunjun Bai; Naijun Zhan; Wenyou Liu; Li Jiao (CDC, 2021)

Switching controller synthesis for delay hybrid systems under perturbations. - Yunjun Bai; Ting Gan; Li Jiao; Bican Xia; Bai Xue 001; Naijun Zhan (HSCC, 2021)

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. - Jiang Liu 009; Han Su 003; Yunjun Bai; Bin Gu 006; Bai Xue 001; Mengfei Yang; Naijun Zhan (CoRR, 2023)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. - Han Su 003; Jiyu Zhu; Shenghua Feng; Yunjun Bai; Bin Gu 006; Jiang Liu 009; Mengfei Yang; Naijun Zhan (CoRR, 2023)

Safety guarantee for time-delay systems with disturbances. - Wenyou Liu; Yunjun Bai; Li Jiao; Naijun Zhan (Sci. China Inf. Sci., 2023)