Registro:
| Documento: | Tesis de Grado |
| Título: | Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6 |
| Título alternativo: | Enactment of a discrete controller synthetized from a high level specification to be used with a N6 robot |
| Autor: | Cerrutti, Mariano Javier |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2014 |
| Fecha en portada: | 2014 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | D'Ippolito, Nicolás Roque |
| Jurado: | Bonomo, Flavia; Da Silva Gillig, Julián |
| Idioma: | Español |
| Palabras clave: | SINTESIS; CONTROL; CAMBIO DE CONFIGURACION; ROBOT PLANAR; LTS; FLTLCONTROLLER SYNTHESIS; CHANGE OF CONFIGURATION; PLANAR ROBOT |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000706_Cerrutti |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000706_Cerrutti.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000706_Cerrutti |
| Ubicación: | Dep.COM 000706 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Cerrutti, Mariano Javier. (2014). Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000706_Cerrutti |
Resumen:
El objetivo de esta tesis es evaluar la adecuación de las técnicas de control instrumentadas en la herramienta de modelado, verificación y síntesis MTSA para un entorno industrial que hace uso de un robot N6 satisfaciendo el suministro de bienes entre los puestos de trabajo de una planta. El problema se expresa con máquinas de transiciones etiquetadas (LTS) para cada uno de los componentes involucrados y las propiedades son expresadas en un subconjunto de las lógicas temporales lineales que caracterizan juegos de reactividad generalizada con propiedades de seguridad (SGR(1)) sobre dominios falibles. El robot utilizado es un modelo N6 producido por la empresa RobotGroup en Argentina con fines didácticos. Durante las fases de implementación, adaptación y ejecución en el entorno de MTSA se analiza la calidad de los controladores sintetizados, la respuesta ante cambios de configuración en el sistema y los patrones emergentes que podrían motivar guías de trabajo para problemas similares.
Abstract:
The objective of this thesis is to evalute de adequacy of the control techniques employed by the MTSA, the modelling, synthesis and verification tool. The case study is done on an industrial environment where a N6 robot is supposed to be taking items from one workstation to the other inside the facility. The problem is expressed through labeled transition systems (LTS) describing each of the components comprising the environment. System properties are expressed with FLTL formulas. The robot is a N6 model made by RobotGroup in Argentina for didactic purposes. During implementation, adaptation and enactment within MTSA the quality of the synthetized controllers is evaluated, as well as the response to configuration changes. Emerging patterns are identified as they can provide guidelines for future work o similar domains.
Citación:
---------- APA ----------
Cerrutti, Mariano Javier. (2014). Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000706_Cerrutti
---------- CHICAGO ----------
Cerrutti, Mariano Javier. "Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2014.https://hdl.handle.net/20.500.12110/seminario_nCOM000706_Cerrutti
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000706_Cerrutti.pdf
Distrubución geográfica
