4 citations · 8 across the 3 of their papers we have counts for
3 papers
math.OC2023★ 2 cited
Learning-based Rigid Tube Model Predictive Control
Yulong Gao, Shuhao Yan, Jian Zhou +3
This paper is concerned with model predictive control (MPC) of discrete-time linear systems subject to bounded additive disturbance and mixed constraints on the state and input, wh…
eess.SY2021★ 2 cited
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…
eess.SY2020★ 4 cited
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems
Yulong Gao, Alessandro Abate, Frank J. Jiang +3
We propose algorithms for performing model checking and control synthesis for discrete-time uncertain systems under linear temporal logic (LTL) specifications. We construct tempora…