​
Login / Signup
Dingran Yuan
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Satisfiability Problem
Temporal Logic
Mazurkiewicz Traces
Nonlinear Filters
Top Venues
CoRR
ICRA
CDC
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)