5 citations · 10 across the 22 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.RO2026
STEAM: A Training-Free Congestion-Aware Enhancement Framework for Decentralized Multi-Agent Path Finding
Mingyang Feng, Mengnuo Zhang, Shaoyuan Li +1
We propose STEAM (Spatial, Temporal, and Emergent congestion Awareness for MAPF), a training-free test-time enhancement framework for learning-based decentralized Multi-Agent Path…
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.SY2026
Stability Verification for Switched Systems using Neural Multiple Lyapunov Functions
Junyue Huang, Shaoyuan Li, Xiang Yin
Stability analysis of switched systems, characterized by multiple operational modes and switching signals, is challenging due to their nonlinear dynamics. While frameworks such as…