Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3
- Autores
- Arro Fritzler, Julio Maximiliano
- 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
Cerrutti, Mariano - Descripción
- El objetivo de esta tesis es la implementación de técnicas para la generación e implementación de controladores discretos utilizando como framework de trabajo la herramienta MTSA aplicado en agentes autónomos utilizando como unidad de control versiones de Lego NXT y EV3 que permiten el armado de prototipos de manera simple y sencilla en los cuales se puede evaluar el comportamiento de controladores sintetizados. Así mismo mostraré cómo es posible cambiar los modelos permitiendo re configurar los controladores de manera automática sin necesidad de incurrir en la reescritura de los mismos. El modelo planteado para cada actor involucrado en el problema, consistirá en máquinas con transiciones etiquetadas (LTS) con propiedades descritas con lógica lineal temporal que caracterizan las propiedades de seguridad y liveness SGR(1) sobre dominios con fallas. Se modelará el problema utilizando como prototipo un robot LEGO MINDSTORM NXT y EV3. Este tipo de robots proveen numerosas ventajas a la hora de crear prototipos tangibles. A lo largo de esta tesis se describe en detalle la implementación del modelo en el entorno MTSA incluyendo las extensiones desarrolladas sobre la herramienta para dar soporte a la robótica y demostrando la calidad de los controladores utilizados y la adaptabilidad a cambios de configuración de los sistemas intervinientes abriendo las puertas para futuros desarrollos combinando robótica con técnicas de síntesis de controladores.
Fil: Arro Fritzler, Julio Maximiliano. 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_nCOM000722_ArroFritzler
Ver los metadatos del registro completo
id |
BDUBAFCEN_0d6e1d18e9aadb513e99c059675b1907 |
---|---|
oai_identifier_str |
seminario:seminario_nCOM000722_ArroFritzler |
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 Lego NXT y EV3Enactment of a discrete controller synthetized from a high level specification to be used with a lego NXT y EV3 robotsArro Fritzler, Julio MaximilianoSINTESIS, CONTROLCAMBIO DE CONFIGURACIONROBOT PLANARLTSFLTLCONTROLLER SYNTHESISCHANGE OF CONFIGURATIONPLANAR ROBOTEl objetivo de esta tesis es la implementación de técnicas para la generación e implementación de controladores discretos utilizando como framework de trabajo la herramienta MTSA aplicado en agentes autónomos utilizando como unidad de control versiones de Lego NXT y EV3 que permiten el armado de prototipos de manera simple y sencilla en los cuales se puede evaluar el comportamiento de controladores sintetizados. Así mismo mostraré cómo es posible cambiar los modelos permitiendo re configurar los controladores de manera automática sin necesidad de incurrir en la reescritura de los mismos. El modelo planteado para cada actor involucrado en el problema, consistirá en máquinas con transiciones etiquetadas (LTS) con propiedades descritas con lógica lineal temporal que caracterizan las propiedades de seguridad y liveness SGR(1) sobre dominios con fallas. Se modelará el problema utilizando como prototipo un robot LEGO MINDSTORM NXT y EV3. Este tipo de robots proveen numerosas ventajas a la hora de crear prototipos tangibles. A lo largo de esta tesis se describe en detalle la implementación del modelo en el entorno MTSA incluyendo las extensiones desarrolladas sobre la herramienta para dar soporte a la robótica y demostrando la calidad de los controladores utilizados y la adaptabilidad a cambios de configuración de los sistemas intervinientes abriendo las puertas para futuros desarrollos combinando robótica con técnicas de síntesis de controladores.Fil: Arro Fritzler, Julio Maximiliano. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesD'Ippolito, Nicolás RoqueCerrutti, Mariano2014info: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_nCOM000722_ArroFritzlerspainfo: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:34Zseminario:seminario_nCOM000722_ArroFritzlerInstitucionalhttps://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:35.704Biblioteca 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 Lego NXT y EV3 Enactment of a discrete controller synthetized from a high level specification to be used with a lego NXT y EV3 robots |
title |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3 |
spellingShingle |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3 Arro Fritzler, Julio Maximiliano 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 Lego NXT y EV3 |
title_full |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3 |
title_fullStr |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3 |
title_full_unstemmed |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3 |
title_sort |
Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3 |
dc.creator.none.fl_str_mv |
Arro Fritzler, Julio Maximiliano |
author |
Arro Fritzler, Julio Maximiliano |
author_facet |
Arro Fritzler, Julio Maximiliano |
author_role |
author |
dc.contributor.none.fl_str_mv |
D'Ippolito, Nicolás Roque Cerrutti, Mariano |
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 la implementación de técnicas para la generación e implementación de controladores discretos utilizando como framework de trabajo la herramienta MTSA aplicado en agentes autónomos utilizando como unidad de control versiones de Lego NXT y EV3 que permiten el armado de prototipos de manera simple y sencilla en los cuales se puede evaluar el comportamiento de controladores sintetizados. Así mismo mostraré cómo es posible cambiar los modelos permitiendo re configurar los controladores de manera automática sin necesidad de incurrir en la reescritura de los mismos. El modelo planteado para cada actor involucrado en el problema, consistirá en máquinas con transiciones etiquetadas (LTS) con propiedades descritas con lógica lineal temporal que caracterizan las propiedades de seguridad y liveness SGR(1) sobre dominios con fallas. Se modelará el problema utilizando como prototipo un robot LEGO MINDSTORM NXT y EV3. Este tipo de robots proveen numerosas ventajas a la hora de crear prototipos tangibles. A lo largo de esta tesis se describe en detalle la implementación del modelo en el entorno MTSA incluyendo las extensiones desarrolladas sobre la herramienta para dar soporte a la robótica y demostrando la calidad de los controladores utilizados y la adaptabilidad a cambios de configuración de los sistemas intervinientes abriendo las puertas para futuros desarrollos combinando robótica con técnicas de síntesis de controladores. Fil: Arro Fritzler, Julio Maximiliano. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. |
description |
El objetivo de esta tesis es la implementación de técnicas para la generación e implementación de controladores discretos utilizando como framework de trabajo la herramienta MTSA aplicado en agentes autónomos utilizando como unidad de control versiones de Lego NXT y EV3 que permiten el armado de prototipos de manera simple y sencilla en los cuales se puede evaluar el comportamiento de controladores sintetizados. Así mismo mostraré cómo es posible cambiar los modelos permitiendo re configurar los controladores de manera automática sin necesidad de incurrir en la reescritura de los mismos. El modelo planteado para cada actor involucrado en el problema, consistirá en máquinas con transiciones etiquetadas (LTS) con propiedades descritas con lógica lineal temporal que caracterizan las propiedades de seguridad y liveness SGR(1) sobre dominios con fallas. Se modelará el problema utilizando como prototipo un robot LEGO MINDSTORM NXT y EV3. Este tipo de robots proveen numerosas ventajas a la hora de crear prototipos tangibles. A lo largo de esta tesis se describe en detalle la implementación del modelo en el entorno MTSA incluyendo las extensiones desarrolladas sobre la herramienta para dar soporte a la robótica y demostrando la calidad de los controladores utilizados y la adaptabilidad a cambios de configuración de los sistemas intervinientes abriendo las puertas para futuros desarrollos combinando robótica con técnicas de síntesis de controladores. |
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_nCOM000722_ArroFritzler |
url |
https://hdl.handle.net/20.500.12110/seminario_nCOM000722_ArroFritzler |
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_ |
1844618754247360512 |
score |
13.070432 |