Similar Items

Cover Image

Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots

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 contro...

Full description

Saved in:
Bibliographic Details
Published in:Advances in Computing
Institution:Escuela Colombiana de Ingeniería
Main Authors: Cadavid, Héctor, Pérez, Alexander, Rocha, Camilo, CTG-Informática, Ecitrónica
Format: Capítulo - Parte de Libro
Language:English
Published: Springer Nature 2017
Subjects:
Automatización
Robótica
Sistema operativo de robots
Robots - Sistemas de control
Robot autonomy
Plan Execution Interchange Language ( PLEXIL )
Robot Operating System ( ROS )
Control architectures
Formal verification
Rewriting logic
Automatic reachability analysis
Online Access:https://repositorio.escuelaing.edu.co/handle/001/1478
Tags: Add Tag
No Tags, Be the first to tag this record!