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

Abstract

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, Pieter Abbeel, Nicholas Roy
PublisherMIT Press Journals
Pages17-24
Number of pages8
ISBN (Print)9780262517799
StatePublished - Jan 1 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
Volume7
ISSN (Print)2330-7668
ISSN (Electronic)2330-765X

Other

OtherInternational Conference on Robotics Science and Systems, RSS 2011
CountryUnited States
CityLos Angeles
Period6/27/117/1/11

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

    Bobadilla, L., Sanchez, O., Czarnowski, J., Gossman, K., & LaValle, S. M. (2012). Controlling wild bodies using linear temporal logic. In H. Durrant-Whyte, P. Abbeel, & N. Roy (Eds.), Robotics: Science and Systems VII (pp. 17-24). (Robotics: Science and Systems; Vol. 7). MIT Press Journals.