2 citations · 3 across the 12 of their papers we have counts for
5 papers · 1 filter
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
Bohan Cui, Yu Chen, Alessandro Giua +1
In this work, we investigate the problem of synthesizing property-enforcing supervisors for partially-observed discrete-event systems (DES). Unlike most existing approaches, where…
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…
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…
Chance-Constrained Neural MPC under Uncontrollable Agents via Sequential Convex Programming
Shuqi Wang, Mingyang Feng, Yu Chen +2
This work investigates the challenge of ensuring safety guarantees in the presence of uncontrollable agents, whose behaviors are stochastic and depend on both their own and the sys…
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…