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 Lego NXT y EV3 |
| Título alternativo: | Enactment of a discrete controller synthetized from a high level specification to be used with a lego NXT y EV3 robots |
| Autor: | Arro Fritzler, Julio Maximiliano |
| 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 |
| Director Asistente: | Cerrutti, Mariano |
| Jurado: | Braberman, Víctor Adriá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_nCOM000722_ArroFritzler |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000722_ArroFritzler.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000722_ArroFritzler |
| Ubicación: | Dep.COM 000722 |
| 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. Arro Fritzler, Julio Maximiliano. (2014). Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000722_ArroFritzler |
Resumen:
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.
Citación:
---------- APA ----------
Arro Fritzler, Julio Maximiliano. (2014). Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000722_ArroFritzler
---------- CHICAGO ----------
Arro Fritzler, Julio Maximiliano. "Ejecución de controladores discretos sintetizados a partir de una especificación de alto nivel para un robot modelo Lego NXT y EV3". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2014.https://hdl.handle.net/20.500.12110/seminario_nCOM000722_ArroFritzler
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000722_ArroFritzler.pdf
Distrubución geográfica
