Yunjun Bai

According to our database, Yunjun Bai authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Safety guarantee for time-delay systems with disturbances.

Wenyou Liu, Yunjun Bai, Li Jiao, Naijun Zhan

Sci. China Inf. Sci., March, 2023

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems.

Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan

CoRR, 2023

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.

Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan

CoRR, 2023

2021

Switching controller synthesis for delay hybrid systems under perturbations.

Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Reach-Avoid Analysis for Delay Differential Equations.

Bai Xue, Yunjun Bai, Naijun Zhan, Wenyou Liu, Li Jiao

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Abstraction-Based Incremental Inductive Coverability for Petri Nets.

Jiawen Kang, Yunjun Bai, Li Jiao

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances.

Yunjun Bai, Kaushik Mallik

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Incremental Abstraction Computation for Symbolic Controller Synthesis in a Changing Environment.

Yunjun Bai, Kaushik Mallik, Anne-Kathrin Schmuck, Damien Zufferey, Rupak Majumdar

Proceedings of the 58th IEEE Conference on Decision and Control, 2019