Dingran Yuan

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Satisfiability Problem

Mazurkiewicz Traces

Nonlinear Filters

Top Venues

Int. J. Syst. Sci.

Publications

Dingran Yuan, Xinyi Yu, Shaoyuan Li, Xiang Yin
Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control. Int. J. Syst. Sci. 55 (7) (2024)
Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. CDC (2023)
Dingran Yuan, Xinyi Yu, Shaoyuan Li, Xiang Yin
Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control. CoRR (2023)
Xinyi Yu, Chuwei Wang, Dingran Yuan, Shaoyuan Li, Xiang Yin
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. CoRR (2022)
Ziwei Wang, Dingran Yuan, Yonhon Ng, Robert E. Mahony
A Linear Comb Filter for Event Flicker Removal. ICRA (2022)
Ziwei Wang, Dingran Yuan, Yonhon Ng, Robert E. Mahony
A Linear Comb Filter for Event Flicker Removal. CoRR (2022)