1 citations · 1 across the 9 of their papers we have counts for
9 papers · 1 filter
Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
Jianing Zhao, Bowen Ye, Xinyi Yu +2
We investigate the task and motion planning problem for dynamical systems under signal temporal logic (STL) specifications. Existing works on STL control synthesis mainly focus on…
A Stackelberg Game Approach for Signal Temporal Logic Control Synthesis with Uncontrollable Agents
Bohan Cui, Xinyi Yu, Alessandro Giua +1
In this paper, we investigate the control synthesis problem for Signal Temporal Logic (STL) specifications in the presence of uncontrollable agents. Existing works mainly address t…
Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
Xinyi Yu, Yiqi Zhao, Xiang Yin +1
The control of dynamical systems under temporal logic specifications among uncontrollable dynamic agents is challenging due to the agents' a-priori unknown behavior. Existing works…
Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks
Chuwei Wang, Xinyi Yu, Jianing Zhao +2
Online monitoring is a widely used technique in assessing if the performance of the system satisfies some desired requirements during run-time operation. Existing works on online m…
Safe-by-Construction Autonomous Vehicle Overtaking using Control Barrier Functions and Model Predictive Control
Dingran Yuan, Xinyi Yu, Shaoyuan Li +1
Ensuring safety for vehicle overtaking systems is one of the most fundamental and challenging tasks in autonomous driving. This task is particularly intricate when the vehicle must…
Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints
Xinyi Yu, Xiang Yin, Lars Lindemann
In time-critical systems, such as air traffic control systems, it is crucial to design control policies that are robust to timing uncertainty. Recently, the notion of Asynchronous…
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition
Xinyi Yu, Chuwei Wang, Dingran Yuan +2
In this paper, we investigate the problem of Model Predictive Control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Rece…
Model Predictive Monitoring of Dynamical Systems for Signal Temporal Logic Specifications
Xinyi Yu, Weijie Dong, Xiang Yin +1
Online monitoring aims to evaluate or to predict, at runtime, whether or not the behaviors of a system satisfy some desired specification. It plays a key role in safety-critical cy…
Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information
Xinyi Yu, Weijie Dong, Xiang Yin +1
Online monitoring aims to evaluate or to predict, at runtime, whether or not the behaviors of a system satisfy some desired specification. It plays a key role in safety-critical cy…