Yu Chen

14 papers A 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis.
CDC
Yu Chen, Shaoyuan Li, Xiang Yin
2025 J jnl
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis.
CoRR
Yu Chen, Shaoyuan Li, Xiang Yin
2025 J jnl
Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications.
CoRR
Yu Chen, Yuda Li, Shaoyuan Li, Xiang Yin
2025 J jnl
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis.
CoRR
Bohan Cui, Yu Chen, Alessandro Giua, Xiang Yin
2025 J jnl
On the Construction of Barrier Certificate: A Dynamic Programming Perspective.
CoRR
Yu Chen, Shaoyuan Li, Xiang Yin
2025 A conf
Online Synthesis of Control Barrier Functions with Local Occupancy Grid Maps for Safe Navigation in Unknown Environments.
IROS
Yuepeng Zhang, Yu Chen, Yuda Li, Shaoyuan Li, Xiang Yin
2025 J jnl
Online Synthesis of Control Barrier Functions with Local Occupancy Grid Maps for Safe Navigation in Unknown Environments.
CoRR
Yuepeng Zhang, Yu Chen, Yuda Li, Shaoyuan Li, Xiang Yin
2024 J jnl
Learning Local Control Barrier Functions for Safety Control of Hybrid Systems.
CoRR
Shuo Yang, Yu Chen, Xiang Yin, Rahul Mangharam
2024 — conf
Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks.
CDC
Yu Chen, Xuanyuan Yin, Hao Ye, Shaoyuan Li, Xiang Yin
2024 J jnl
Optimal Control Synthesis of Markov Decision Processes for Efficiency with Surveillance Tasks.
CoRR
Yu Chen, Xuanyuan Yin, Shaoyuan Li, Xiang Yin
2023 — conf
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests.
CDC
Yu Chen, Chao Shang, Xiaolin Huang, Xiang Yin
2023 J jnl
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests.
CoRR
Yu Chen, Chao Shang, Xiaolin Huang, Xiang Yin
2022 J jnl
Markov decision processes with maximum entropy rate for Surveillance Tasks.
CoRR
Yu Chen, Shaoyuan Li, Xiang Yin
2022 J jnl
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks.
CoRR
Yu Chen, Shuo Yang, Rahul Mangharam, Xiang Yin