1 citations · 1 across the 4 of their papers we have counts for
4 papers
Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees
Jianqiang Ding, Dingran Yuan, Shankar A. Deka
Designing controllers with provable formal guarantees has become an urgent requirement for cyber-physical systems in safety-critical scenarios. Beyond addressing scalability in hig…
Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control
Dingran Yuan, Xinyi Yu, Shaoyuan Li +1
Ensuring safety for vehicle overtaking systems is one of the most fundamental and challenging tasks in autonomous driving. This task is particularly intricate when the vehicle must…
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition
Xinyi Yu, Chuwei Wang, Dingran Yuan +2
In this paper, we investigate the problem of Model Predictive Control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Rece…
A Linear Comb Filter for Event Flicker Removal
Ziwei Wang, Dingran Yuan, Yonhon Ng +1
Event cameras are bio-inspired sensors that capture per-pixel asynchronous intensity change rather than the synchronous absolute intensity frames captured by a classical camera sen…