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
Biblioteca Digital (UBA-FCEN)
Institución
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
OAI Identificador
seminario:seminario_nCOM000706_Cerrutti

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