Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
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…
eess.SY2026
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…
eess.SY2025
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…