Registro:
| Documento: | Tesis de Grado |
| Título: | Localización y modelado simultáneos mediante generación y actualización automática de controladores discretos |
| Autor: | Pasquini, Iván |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2016 |
| Fecha en portada: | 2016 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Nahabedian, Leandro Ezequiel |
| Jurado: | Asteasuain, Fernando; López Pombo, Carlos Gustavo |
| Idioma: | Español |
| Palabras clave: | EXPLORACION; MODELADO; LTS; MTS; SINTESIS DE CONTROLADORES |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000648_Pasquini |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000648_Pasquini.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000648_Pasquini |
| Ubicación: | Dep.COM 000648 |
| 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. Pasquini, Iván. (2016). Localización y modelado simultáneos mediante generación y actualización automática de controladores discretos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000648_Pasquini |
Resumen:
En el área de robótica, el problema de la exploración consiste en recorrer, mediante un vehículo autónomo, una zona desconocida para obtener conocimiento sobre ella. La utilización de robots es muy importante para la cartografía o búsqueda y rescate en lugares que son peligrosos o inaccesibles para las personas. En el caso de la utilización de robots autónomos, se utiliza la técnica de localización y modelado simultáneo, para construir un mapa de la zona desconocida en la que se encuentra el robot, a la vez que estima su trayectoria al desplazarse dentro de la misma. El objetivo de esta tesis es resolver el problema de localización y modelado simultáneo utilizando como modelo matemático los MTSs (Modal Transition Systems), los cuales son nociones abstractas de los LTSs (Labelled Transition Systems). Dado un conjunto de objetivos y un conjunto de suposiciones de dominio, los MTSs nos permiten determinar, mediante la síntesis de controladores, si los objetivos son imposibles de alcanzar, si podemos garantizar su cumplimiento, o si las suposiciones de dominio son insuficientes para decidir sobre los objetivos. Para cumplir con el objetivo de la tesis, extenderemos la herramienta MTSA (Modal Transition System Analyser) para dar soporte a la exploración, y presentaremos una estrategia, que bajo ciertas condiciones, nos permita ir agregando información a nuestras suposiciones de dominio, hasta poder decidir si es o no posible garantizar el cumplimiento de los objetivos de la exploración.
Citación:
---------- APA ----------
Pasquini, Iván. (2016). Localización y modelado simultáneos mediante generación y actualización automática de controladores discretos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000648_Pasquini
---------- CHICAGO ----------
Pasquini, Iván. "Localización y modelado simultáneos mediante generación y actualización automática de controladores discretos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2016.https://hdl.handle.net/20.500.12110/seminario_nCOM000648_Pasquini
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000648_Pasquini.pdf
Distrubución geográfica
