2 citations · 3 across the 12 of their papers we have counts for
12 papers
Signal Temporal Logic Motion Planning via Graphs of Convex Sets
Yu Chen, Ancheng Hou, Mingyang Feng +2
This paper investigates continuous-time motion planning under Signal Temporal Logic (STL) specifications. The goal is to generate smooth robot trajectories that satisfy high-level…
Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
Bohan Cui, Jianing Zhao, Yu Chen +3
In this paper, we investigate the probabilistic formal verification of stochastic dynamical systems over continuous state spaces. Motivated by problems in state estimation and info…
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…
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…
Learning Local Control Barrier Functions for Hybrid Systems
Shuo Yang, Yu Chen, Xiang Yin +2
Hybrid dynamical systems are ubiquitous as practical robotic applications often involve both continuous states and discrete switchings. Safety is a primary concern for hybrid robot…
Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests
Yu Chen, Chao Shang, Xiaolin Huang +1
In this work, we investigate the data-driven safe control synthesis problem for unknown dynamic systems. We first formulate the safety synthesis problem as a robust convex program…
Entropy Rate Maximization of Markov Decision Processes under Linear Temporal Logic Tasks
Yu Chen, Shaoyuan Li, Xiang Yin
We investigate the problem of synthesizing optimal control policies for Markov decision processes (MDPs) with both qualitative and quantitative objectives. Specifically, our goal i…
You Don't Know When I Will Arrive: Unpredictable Controller Synthesis for Temporal Logic Tasks
Yu Chen, Shuo Yang, Rahul Mangharam +1
In this paper, we investigate the problem of synthesizing controllers for temporal logic specifications under security constraint. We assume that there exists a passive intruder (e…