Controlling Wild Bodies Using Linear Temporal Logic
Leonardo Bobadilla, Oscar Fernando Avilés Sánchez, Justin Czarnowski, Katrina Gossman, Steven M. LaValle · 2011
Fig. 1. a) Our vehicle of study is a $4 weasel ball; b) it consists entirely of a battery and slowly oscillating motor mounted to a plastic shell. 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. I.