160 citations · 831 across the 126 of their papers we have counts for
5 papers · 2 filters
Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications
Yushan Chen, Xu Chu Ding, Calin Belta
We introduce a technique for synthesis of control and communication strategies for a team of agents from a global task specification given as a Linear Temporal Logic (LTL) formula…
Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control
Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian +3
We consider the problem of finding a control policy for a Markov Decision Process (MDP) to maximize the probability of reaching some states while avoiding some other states. This p…
Multi-robot Deployment From LTL Specifications with Reduced Communication
Marius Kloetzer, Xu Chu Ding, Calin Belta
In this paper, we develop a computational framework for fully automatic deployment of a team of unicycles from a global specification given as an LTL formula over some regions of i…
Optimal Multi-Robot Path Planning with Temporal Logic Constraints
Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding +2
In this paper we present a method for automatically planning optimal paths for a group of robots that satisfy a common high level mission specification. Each robot's motion in the…
MDP Optimal Control under Temporal Logic Constraints
Xu Chu Ding, Stephen L. Smith, Calin Belta +1
In this paper, we develop a method to automatically generate a control policy for a dynamical system modeled as a Markov Decision Process (MDP). The control specification is given…