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...
Guardado en:
| Autores principales: | Tapia, Benjamín, Delmastro, Juan, Zudaire, Sebastián |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/140249 |
| Aporte de: |
Ejemplares similares
-
Hybrid Control from Scratch: A Design Methodology for Assured Robotic Missions
por: Liendro, Tomás, et al.
Publicado: (2020) -
Using the data warehouse /
por: Inmon, W. H.
Publicado: (1994) -
Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler
por: Wainer, G.A., et al. -
Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler
Publicado: (2015) -
Building the data warehouse /
por: Inmon, W. H.
Publicado: (1996)