Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

Abstract

Today’s autonomous robots are being used for complex tasks, including space exploration, military applications, and precision agriculture. As the complexity of control architectures increases, reliability of autonomous robots becomes more challenging to guarantee. This paper presents a hybrid control architecture, based on the Plan Execution Interchange Language ( PLEXIL ), for autonomy of wheeled robots running the Robot Operating System ( ROS ). PLEXIL is a synchronous reactive language developed by NASA for mission critical robotic systems, while ROS is one of the most popular frameworks for robotic middle-ware development. Given the safety-critical nature of spacecraft operations, PLEXIL operational semantics has been mathematically defined, and formal techniques and tools have been developed to automatically analyze plans written in this language. The hybrid control architecture proposed in this paper is showcased in a path tracking scenario using the Husky robot platform via a Gazebo simulation. Thanks to the architecture presented in this paper, all formal analysis techniques and tools currently available to PLEXIL are now available to build reliable plans for ROS -enabled wheeled robots.

Los robots autónomos de hoy se utilizan para tareas complejas, incluida la exploración espacial, aplicaciones militares y agricultura de precisión. A medida que aumenta la complejidad de las arquitecturas de control, la fiabilidad de los robots autónomos se vuelve más difícil de garantizar. Este artículo presenta una arquitectura de control híbrida, basada en el lenguaje de intercambio de ejecución de planes ( PLEXIL ), para la autonomía de los robots con ruedas que ejecutan el sistema operativo del robot ( ROS ). PLEXIL es un lenguaje reactivo sincrónico desarrollado por la NASA para sistemas robóticos de misión crítica, mientras que ROS es uno de los marcos más populares para el desarrollo de middleware robótico. Dada la naturaleza crítica para la seguridad de las operaciones de las naves espaciales, PLEXIL Se ha definido matemáticamente la semántica operativa y se han desarrollado técnicas y herramientas formales para analizar automáticamente los planes escritos en este lenguaje. La arquitectura de control híbrida propuesta en este documento se muestra en un escenario de seguimiento de ruta utilizando la plataforma de robot Husky a través de una simulación de Gazebo. Gracias a la arquitectura presentada en este artículo, todas las técnicas y herramientas de análisis formales disponibles actualmente para PLEXIL ahora están disponibles para construir planes confiables para ROS -Robots con ruedas habilitados.