5 citations · 7 across the 13 of their papers we have counts for
4 papers · 1 filter
SPARC: Prediction-Based Safe Control for Coupled Controllable and Uncontrollable Agents with Conformal Predictions
Shuqi Wang, Siqi Wang, Shaoyuan Li +1
We investigate the problem of safe control synthesis for systems operating in environments with uncontrollable agents whose dynamics are unknown but coupled with those of the contr…
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints
Bowen Ye, Jianing Zhao, Shaoyuan Li +1
In this paper, we investigate the problem of linear temporal logic (LTL) path planning for multi-agent systems, introducing the new concept of \emph{ordering constraints}. Specific…
Optimal Control of Markov Decision Processes for Efficiency with Linear Temporal Logic Tasks
Yu Chen, Xuanyuan Yin, Shaoyuan Li +1
We investigate the problem of optimal control synthesis for Markov Decision Processes (MDPs), addressing both qualitative and quantitative objectives. Specifically, we require the…
A Game-Theoretical Approach for Optimal Supervisory Control of Discrete Event Systems under Energy Constraints
Peng Lv, Shaoyuan Li, Xiang Yin
In this paper, we investigate the problem of optimal supervisory control for the discrete event systems under energy constraints. We consider that the execution of events consumes…