1 citations · 1 across the 4 of their papers we have counts for
4 papers
On the Computation of Backward Reachable Sets for Max-Plus Linear Systems with Disturbances
Yuda Li, Xiang Yin
This paper investigates one-step backward reachability for uncertain max-plus linear systems with additive disturbances. Given a target set, the problem is to compute the set of st…
On the Computation and Approximation of Backward Reachable Sets for Max-Plus Linear Systems using Polyhedras
Yuda Li, Shaoyuan Li, Xiang Yin
This paper investigates reachability analysis for max-plus linear systems (MPLS), an important class of dynamical systems that model synchronization and delay phenomena in timed di…
Online Synthesis of Control Barrier Functions with Local Occupancy Grid Maps for Safe Navigation in Unknown Environments
Yuepeng Zhang, Yu Chen, Yuda Li +2
Control Barrier Functions (CBFs) have emerged as an effective and non-invasive safety filter for ensuring the safety of autonomous systems in dynamic environments with formal guara…
Distributionally Robust Control Synthesis for Stochastic Systems with Safety and Reach-Avoid Specifications
Yu Chen, Yuda Li, Shaoyuan Li +1
We investigate the problem of synthesizing distributionally robust control policies for stochastic systems under safety and reach-avoid specifications. Using a game-theoretical fra…