An End-to-End Robot System for Warehouse Applications Using Controller Synthesis

Controller synthesis has been used in recent research to generate, from user specifications, correctby-construction motion and task plans for mobile robots. These plans are implemented by hybrid control architectures allowing the robot to move and interact with complex environments. However, the dif...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Tapia, Benjamín, Delmastro, Juan, Zudaire, Sebastián
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2021
Materias:
Ciencias Informáticas
Discrete events
Hybrid control
Warehouse applications
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/140249
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-140249
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Discrete events
Hybrid control
Warehouse applications
spellingShingle Ciencias Informáticas
Discrete events
Hybrid control
Warehouse applications
Tapia, Benjamín
Delmastro, Juan
Zudaire, Sebastián
An End-to-End Robot System for Warehouse Applications Using Controller Synthesis
topic_facet Ciencias Informáticas
Discrete events
Hybrid control
Warehouse applications
description Controller synthesis has been used in recent research to generate, from user specifications, correctby-construction motion and task plans for mobile robots. These plans are implemented by hybrid control architectures allowing the robot to move and interact with complex environments. However, the different abstraction levels involved together with the many components that must be developed for a fully functional end-to-end system requires numerous design and methodology decisions, specially when the robot strongly interacts with its environment. In this paper, we present an end-to-end system design and implementation for a mobile robot targeted at warehouse applications, that uses a proof-of- concept approach in a simulated environment as a key step in the design process. We demonstrate its capabilities in product rearrangement both in simulated and real world scenarios.
format Objeto de conferencia
Objeto de conferencia
author Tapia, Benjamín
Delmastro, Juan
Zudaire, Sebastián
author_facet Tapia, Benjamín
Delmastro, Juan
Zudaire, Sebastián
author_sort Tapia, Benjamín
title An End-to-End Robot System for Warehouse Applications Using Controller Synthesis
title_short An End-to-End Robot System for Warehouse Applications Using Controller Synthesis
title_full An End-to-End Robot System for Warehouse Applications Using Controller Synthesis
title_fullStr An End-to-End Robot System for Warehouse Applications Using Controller Synthesis
title_full_unstemmed An End-to-End Robot System for Warehouse Applications Using Controller Synthesis
title_sort end-to-end robot system for warehouse applications using controller synthesis
publishDate 2021
url http://sedici.unlp.edu.ar/handle/10915/140249
work_keys_str_mv AT tapiabenjamin anendtoendrobotsystemforwarehouseapplicationsusingcontrollersynthesis
AT delmastrojuan anendtoendrobotsystemforwarehouseapplicationsusingcontrollersynthesis
AT zudairesebastian anendtoendrobotsystemforwarehouseapplicationsusingcontrollersynthesis
AT tapiabenjamin endtoendrobotsystemforwarehouseapplicationsusingcontrollersynthesis
AT delmastrojuan endtoendrobotsystemforwarehouseapplicationsusingcontrollersynthesis
AT zudairesebastian endtoendrobotsystemforwarehouseapplicationsusingcontrollersynthesis
bdutipo_str Repositorios
_version_ 1764820458467753984

Ejemplares similares