Robotics: Science and Systems VIII

Guaranteeing High-Level Behaviors while Exploring Partially Known Maps

Shahar Sarid, Bingxin Xu, Hadas Kress-Gazit


This paper presents an approach for automatically synthesizing and re-synthesizing a hybrid controller that guarantees a robot will exhibit a user-defined high-level behavior while exploring a partially known workspace (map). The approach includes dynamically adjusting the discrete abstraction of the workspace as new regions are detected by the robot's sensors, automatically rewriting the specification (formally defined using Linear Temporal Logic) and re-synthesizing the control while preserving the robot state and its history of task completion. The approach is implemented within the LTLMoP toolkit and is demonstrated using a Pioneer 3-DX in the lab.



    AUTHOR    = {Shahar Sarid AND Bingxin Xu AND Hadas Kress-Gazit}, 
    TITLE     = {Guaranteeing High-Level Behaviors while Exploring Partially Known Maps}, 
    BOOKTITLE = {Proceedings of Robotics: Science and Systems}, 
    YEAR      = {2012}, 
    ADDRESS   = {Sydney, Australia}, 
    MONTH     = {July},
    DOI       = {10.15607/RSS.2012.VIII.048}