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

Autores:

Cadavid, Héctor
Pérez, Alexander
Rocha, Camilo

Tipo de recurso:

Part of book

Fecha de publicación:

2017

Institución:

Escuela Colombiana de Ingeniería Julio Garavito

Repositorio:

Repositorio Institucional ECI

Idioma:

eng

OAI Identifier:

oai:repositorio.escuelaing.edu.co:001/1478

Acceso en línea:

https://repositorio.escuelaing.edu.co/handle/001/1478
https://link.springer.com/chapter/10.1007/978-3-319-66562-7_44

Palabra clave:

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

Rights

closedAccess

License

https://creativecommons.org/licenses/by/4.0/