Where's Waldo? Sensor-based temporal logic motion planning

Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

128 Scopus citations

Abstract

Given a robot model and a class of admissible environments, this paper provides a framework for automatically and veriflably composing controllers that satisfy high level task specifications expressed in suitable temporal logics. The desired task specifications can express complex robot behaviors such as search and rescue, coverage, and collision avoidance. In addition, our framework explicitly captures sensor specifications that depend on the environment with which the robot is interacting, resulting in a novel paradigm for sensor-based temporal logic motion planning. As one robot is part of the environment of another robot, our sensor-based framework very naturally captures multi-robot specifications. Our computational approach is based on first creating discrete controllers satisfying so-called General Reactivity(1) formulas. If feasible, the discrete controller is then used in order to guide the sensor-based composition of continuous controllers resulting in a hybrid controller satisfying the high level specification, but only if the environment is admissible.

Original languageEnglish (US)
Title of host publication2007 IEEE International Conference on Robotics and Automation, ICRA'07
Pages3116-3121
Number of pages6
DOIs
StatePublished - Nov 27 2007
Event2007 IEEE International Conference on Robotics and Automation, ICRA'07 - Rome, Italy
Duration: Apr 10 2007Apr 14 2007

Publication series

NameProceedings - IEEE International Conference on Robotics and Automation
ISSN (Print)1050-4729

Other

Other2007 IEEE International Conference on Robotics and Automation, ICRA'07
CountryItaly
CityRome
Period4/10/074/14/07

Keywords

  • Controller synthesis
  • Hybrid control
  • Motion planning
  • Sensor-based planning
  • Temporal logics

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Where's Waldo? Sensor-based temporal logic motion planning'. Together they form a unique fingerprint.

  • Cite this

    Kress-Gazit, H., Fainekos, G. E., & Pappas, G. J. (2007). Where's Waldo? Sensor-based temporal logic motion planning. In 2007 IEEE International Conference on Robotics and Automation, ICRA'07 (pp. 3116-3121). [4209564] (Proceedings - IEEE International Conference on Robotics and Automation). https://doi.org/10.1109/ROBOT.2007.363946