Controlling wild bodies using linear temporal logic

Leonardo Bobadilla, Oscar Sanchez, Justin Czarnowski, Katrina Gossman, Steven M. LaValle

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


There is substantial interest in controlling a group of bodies from specifications of tasks given in a high-level, human-like language. This paper proposes a methodology that creates low-level hybrid controllers that guarantee that a group of bodies execute a high-level specified task without dynamical system modeling, precise state estimation or state feedback. We do this by exploiting the wild motions of very simple bodies in an environment connected by gates which serve as the system inputs, as opposed to motors on the bodies.We present experiments using inexpensive hardware demonstrating the practical feasibility of our approach to solving tasks such as navigation, patrolling, and coverage.

Original languageEnglish (US)
Title of host publicationRobotics
Subtitle of host publicationScience and Systems VII
EditorsHugh Durrant-Whyte, Nicholas Roy, Pieter Abbeel
PublisherMIT Press Journals
Number of pages8
ISBN (Print)9780262517799
StatePublished - 2012
EventInternational Conference on Robotics Science and Systems, RSS 2011 - Los Angeles, United States
Duration: Jun 27 2011Jul 1 2011

Publication series

NameRobotics: Science and Systems
ISSN (Electronic)2330-765X


OtherInternational Conference on Robotics Science and Systems, RSS 2011
CountryUnited States
CityLos Angeles

ASJC Scopus subject areas

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

Fingerprint Dive into the research topics of 'Controlling wild bodies using linear temporal logic'. Together they form a unique fingerprint.

Cite this