Porting Code Across Simple Mobile Robots

The StarL programming framework aims to simplify development of distributed robotic applications by providing easy-to-use language constructs for communication and control. It has been used to develop applications such as formation control, distributed tracking, and collaborative search. In this paper, we present a complete redesign of the StarL language and its runtime system which enables us to achieve portability of robot programs across platforms. Thus, the same application program, say, for distributed tracking, can now be compiled and deployed on multiple, heterogeneous robotic platforms. Towards portability, this we first define the semantics of StarL programs in a way that is largely platform independent, except for a few key platform-dependent parameters that capture the worst-case execution and sensing delays and resolution of sensors. Next, we present a design of the StarL runtime system, including a robot controller, that meets the above semantics. The controller consists of a platform-independent path planner implemented using RRTs and a platform-dependent way-point tracker that is implemented using the control commands available for the platform. We demonstrate portability of StarL applications using simulation results for two different robotic platforms, and several applications.

[1]  Sayan Mitra,et al.  StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems , 2015, LCTES.

[2]  A. Stubbs,et al.  A hovercraft testbed for decentralized and cooperative control , 2004, Proceedings of the 2004 American Control Conference.

[3]  Robin R. Murphy,et al.  Moonlight in Miami : A Field Study of Human-Robot Interaction in the Context of an Urban Search and Rescue Disaster Response Training Exercise , 2003 .

[4]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[5]  Nikolaus Correll,et al.  Parameter estimation and optimal control of swarm-robotic systems: A case study in distributed task allocation , 2008, 2008 IEEE International Conference on Robotics and Automation.

[6]  Taylor T. Johnson,et al.  Static and Dynamic Analysis of Timed Distributed Traces , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[7]  Swarat Chaudhuri,et al.  SMT-based synthesis of integrated task and motion plans from plan outlines , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[8]  Ufuk Topcu,et al.  Receding Horizon Temporal Logic Planning , 2012, IEEE Transactions on Automatic Control.

[9]  Issa A. D. Nesnas,et al.  T CLARAty : A Collaborative Software for Advancing Robotic Technologies , .

[10]  Nancy A. Lynch,et al.  The Theory of Timed I/o Automata , 2003 .

[11]  Adam Zimmerman.  StarL for programming reliable robotic networks , 2013 .

[12]  Richard T. Vaughan,et al.  The Player/Stage Project: Tools for Multi-Robot and Distributed Sensor Systems , 2003 .

[13]  Krishnendu Chatterjee,et al.  Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games , 2014, HSCC.

[14]  David M. Dilts,et al.  The evolution of control architectures for automated manufacturing systems , 1991 .

[15]  Sonia Martínez,et al.  Coverage control for mobile sensing networks , 2002, IEEE Transactions on Robotics and Automation.

[16]  Sayan Mitra,et al.  A verification framework for hybrid systems , 2007 .

[17]  Swarat Chaudhuri,et al.  A constraint-based approach to solving games on infinite graphs , 2014, POPL.

[18]  Nancy A. Lynch,et al.  Self-stabilizing robot formations over unreliable networks , 2009, TAAS.

[19]  Vijay Kumar,et al.  Controlling Swarms of Robots Using Interpolated Implicit Functions , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[20]  Kurt Konolige,et al.  Centibots: Very Large Scale Distributed Robotic Teams , 2004, AAAI.

[21]  Peter I. Corke,et al.  A robotics toolbox for MATLAB , 1996, IEEE Robotics Autom. Mag..

[22]  Magnus Egerstedt,et al.  Graph Theoretic Methods in Multiagent Networks , 2010, Princeton Series in Applied Mathematics.

[23]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[24]  Issa A. D. Nesnas,et al.  The CLARAty Project: Coping with Hardware and Software Heterogeneity , 2005, PPSDR@ICRA.

[25]  A. Stubbs,et al.  Multivehicle systems control over networks: a hovercraft testbed for networked and decentralized control , 2006, IEEE Control Systems.

[26]  Deepak Kumar,et al.  Python robotics: an environment for exploring robotics beyond LEGOs , 2003, SIGCSE.

[27]  M. Mitchell Waldrop,et al.  Autonomous vehicles: No drivers required , 2015, Nature.

[28]  Claire J. Tomlin,et al.  Reachability-based synthesis of feedback policies for motion planning under bounded disturbances , 2011, 2011 IEEE International Conference on Robotics and Automation.

[29]  Calin Belta,et al.  Finite bisimulations for switched linear systems , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[30]  Emilio Frazzoli,et al.  Sampling-based optimal motion planning for non-holonomic dynamical systems , 2013, 2013 IEEE International Conference on Robotics and Automation.

[31]  Brian C. Williams,et al.  Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.

[32]  Radhika Nagpal,et al.  Kilobot: A low cost scalable robot system for collective behaviors , 2012, 2012 IEEE International Conference on Robotics and Automation.

[33]  Robin R. Murphy,et al.  Moonlight in Miami: a field study of human-robot interaction in the context of an urban search and rescue disaster response training exercise , 2004 .

[34]  Daniele Nardi,et al.  OpenRDK: A modular framework for robotic software development , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[35]  Raffaello D'Andrea,et al.  Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses , 2007, AI Mag..