Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6
- Autores
- Cerrutti, Mariano Javier
- Año de publicación
- 2014
- Idioma
- español castellano
- Tipo de recurso
- tesis de grado
- Estado
- versión publicada
- Colaborador/a o director/a de tesis
- D'Ippolito, Nicolás Roque
- Descripción
- 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.
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.
Fil: Cerrutti, Mariano Javier. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. - Materia
-
SINTESIS
CONTROL
CAMBIO DE CONFIGURACION
ROBOT PLANAR
LTS
FLTL
CONTROLLER SYNTHESIS
CHANGE OF CONFIGURATION
PLANAR ROBOT - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-sa/2.5/ar
- Repositorio
- Institución
- Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
- OAI Identificador
- seminario:seminario_nCOM000706_Cerrutti
Ver los metadatos del registro completo
id |
BDUBAFCEN_13a3f256fad42de845a8d57177daf96d |
---|---|
oai_identifier_str |
seminario:seminario_nCOM000706_Cerrutti |
network_acronym_str |
BDUBAFCEN |
repository_id_str |
1896 |
network_name_str |
Biblioteca Digital (UBA-FCEN) |
spelling |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6Enactment of a discrete controller synthetized from a high level specification to be used with a N6 robotCerrutti, Mariano JavierSINTESISCONTROLCAMBIO DE CONFIGURACIONROBOT PLANARLTSFLTLCONTROLLER SYNTHESISCHANGE OF CONFIGURATIONPLANAR ROBOTEl 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.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.Fil: Cerrutti, Mariano Javier. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesD'Ippolito, Nicolás Roque2014info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttps://hdl.handle.net/20.500.12110/seminario_nCOM000706_Cerruttispainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/arreponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCEN2025-09-29T13:43:33Zseminario:seminario_nCOM000706_CerruttiInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962025-09-29 13:43:33.97Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse |
dc.title.none.fl_str_mv |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6 Enactment of a discrete controller synthetized from a high level specification to be used with a N6 robot |
title |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6 |
spellingShingle |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6 Cerrutti, Mariano Javier SINTESIS CONTROL CAMBIO DE CONFIGURACION ROBOT PLANAR LTS FLTL CONTROLLER SYNTHESIS CHANGE OF CONFIGURATION PLANAR ROBOT |
title_short |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6 |
title_full |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6 |
title_fullStr |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6 |
title_full_unstemmed |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6 |
title_sort |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo N6 |
dc.creator.none.fl_str_mv |
Cerrutti, Mariano Javier |
author |
Cerrutti, Mariano Javier |
author_facet |
Cerrutti, Mariano Javier |
author_role |
author |
dc.contributor.none.fl_str_mv |
D'Ippolito, Nicolás Roque |
dc.subject.none.fl_str_mv |
SINTESIS CONTROL CAMBIO DE CONFIGURACION ROBOT PLANAR LTS FLTL CONTROLLER SYNTHESIS CHANGE OF CONFIGURATION PLANAR ROBOT |
topic |
SINTESIS CONTROL CAMBIO DE CONFIGURACION ROBOT PLANAR LTS FLTL CONTROLLER SYNTHESIS CHANGE OF CONFIGURATION PLANAR ROBOT |
dc.description.none.fl_txt_mv |
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. 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. Fil: Cerrutti, Mariano Javier. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. |
description |
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. |
publishDate |
2014 |
dc.date.none.fl_str_mv |
2014 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/bachelorThesis info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_7a1f info:ar-repo/semantics/tesisDeGrado |
format |
bachelorThesis |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
https://hdl.handle.net/20.500.12110/seminario_nCOM000706_Cerrutti |
url |
https://hdl.handle.net/20.500.12110/seminario_nCOM000706_Cerrutti |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/2.5/ar |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
publisher.none.fl_str_mv |
Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital (UBA-FCEN) instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales instacron:UBA-FCEN |
reponame_str |
Biblioteca Digital (UBA-FCEN) |
collection |
Biblioteca Digital (UBA-FCEN) |
instname_str |
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
instacron_str |
UBA-FCEN |
institution |
UBA-FCEN |
repository.name.fl_str_mv |
Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
repository.mail.fl_str_mv |
ana@bl.fcen.uba.ar |
_version_ |
1844618753383333888 |
score |
13.070432 |