2 citations · 2 across the 3 of their papers we have counts for
4 papers
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…
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…
A fully distributed motion coordination strategy for multi-robot systems with local information
Pian Yu, Dimos V. Dimarogonas
This paper investigates the online motion coordination problem for a group of mobile robots moving in a shared workspace. Based on the realistic assumptions that each robot is subj…
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…