Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications

@article{Kloetzer2010AutomaticDO,
  title={Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications},
  author={Marius Kloetzer and Calin Belta},
  journal={IEEE Transactions on Robotics},
  year={2010},
  volume={26},
  pages={48-61}
}
We present a computational framework for automatic synthesis of decentralized communication and control strategies for a robotic team from global specifications, which are given as temporal and logic statements about visiting regions of interest in a partitioned environment. We consider a purely discrete scenario, where the robots move among the vertices of a graph. However, by employing recent results on invariance and facet reachability for dynamical systems in environments with polyhedral… CONTINUE READING
Highly Cited
This paper has 173 citations. REVIEW CITATIONS

Topics

Statistics

0204020092010201120122013201420152016201720182019
Citations per Year

174 Citations

Semantic Scholar estimates that this publication has 174 citations based on the available data.

See our FAQ for additional information.