Yunjun Bai

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Controller Synthesis

Top Venues

Publications

Wenyou Liu, Yunjun Bai, Li Jiao, Naijun Zhan
Safety guarantee for time-delay systems with disturbances. Sci. China Inf. Sci. 66 (3) (2023)
Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. CoRR (2023)
Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. CoRR (2023)
Jiawen Kang, Yunjun Bai, Li Jiao
Abstraction-Based Incremental Inductive Coverability for Petri Nets. Petri Nets (2021)
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Switching controller synthesis for delay hybrid systems under perturbations. HSCC (2021)
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. CoRR (2021)
Bai Xue, Yunjun Bai, Naijun Zhan, Wenyou Liu, Li Jiao
Reach-Avoid Analysis for Delay Differential Equations. CDC (2021)
Yunjun Bai, Kaushik Mallik
Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. ICFEM (2020)
Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar
Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment. CDC (2019)