2 citations · 6 across the 8 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.RO2021★ 2 cited
Distributed motion coordination for multi-robot systems under LTL specifications
Pian Yu, Dimos V. Dimarogonas
This paper investigates the online motion coordination problem for a group of mobile robots moving in a shared workspace, each of which is assigned a linear temporal logic specific…
eess.SY2021
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…
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…