5 citations · 7 across the 13 of their papers we have counts for
4 papers · 1 filter
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis
Yu Chen, Shaoyuan Li, Xiang Yin
We investigate the control synthesis problem for continuous-time time-varying nonlinear systems with disturbance under a class of multiple reach-avoid (MRA) tasks. Specifically, th…
Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications
Tao Han, Shaoyuan Li, Xiang Yin
This paper investigates the online monitoring problem for cyber-physical systems under signal temporal logic (STL) specifications. The objective is to design an online monitor that…
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…