2 citations · 6 across the 8 of their papers we have counts for
5 papers · 1 filter
Continuous-time control synthesis under nested signal temporal logic specifications
Pian Yu, Xiao Tan, Dimos V. Dimarogonas
In this work, we propose a novel approach for the continuous-time control synthesis of nonlinear systems under nested signal temporal logic (STL) specifications. While the majority…
Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
Pian Yu, Dimos V. Dimarogonas
Discrete abstractions have become a standard approach to assist control synthesis under complex specifications. Most techniques for the construction of a discrete abstraction for a…
Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications
Pian Yu, Yulong Gao, Frank J. Jiang +2
This paper studies the online control synthesis problem for uncertain discrete-time systems subject to signal temporal logic (STL) specifications. Different from existing technique…
Approximately symbolic models for a class of continuous-time nonlinear systems
Pian Yu, Dimos V. Dimarogonas
Discrete abstractions have become a standard approach to assist control synthesis under complex specifications. Most techniques for the construction of discrete abstractions are ba…
Time-constrained multi-agent task scheduling based on prescribed performance control
Pian Yu, Dimos V. Dimarogonas
The problem of time-constrained multi-agent task scheduling and control synthesis is addressed. We assume the existence of a high level plan which consists of a sequence of coopera…