Robotics: Science and Systems VII

Controlling Wild Bodies Using Linear Temporal Logic

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

Abstract:

There is substantial interest controlling a group of bodies from specifications of tasks given in a high-level, humanlike 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 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.

Download:

Bibtex:

  
@INPROCEEDINGS{Bobadilla-RSS-11, 
    AUTHOR    = {Leonardo Bobadilla AND Oscar Sanchez AND Justin Czarnowski AND Katrina Gossman AND Steven LaValle}, 
    TITLE     = {Controlling Wild Bodies Using Linear Temporal Logic}, 
    BOOKTITLE = {Proceedings of Robotics: Science and Systems}, 
    YEAR      = {2011}, 
    ADDRESS   = {Los Angeles, CA, USA}, 
    MONTH     = {June},
    DOI       = {10.15607/RSS.2011.VII.003} 
}