RT info:eu-repo/semantics/masterThesis
T1 Diagnosis de sistemas híbridos usando posibles conflictos híbridos
A1 Hernández Cerezo, Alberto
A2 Universidad de Valladolid. Escuela Técnica Superior de Ingeniería Informática
K1 Inteligencia artificial - Innovaciones tecnológicas
K1 Diagnóstico basado en modelos
AB El marco teórico de este trabajo es el Diagnóstico Basado en Consistencia (DBC),que es la aproximación del campo de la Inteligencia Artificial al Diagnóstico basado enModelos.Mediante las técnicas comprendidas por dicha aproximación es posible efectuar ladetección, aislamiento e identificación de fallos en sistemas reales. Para ello, la técnicarecurre a modelos que simulan el comportamiento del sistema real. A partir del contrastede estimaciones del modelo con observaciones del sistema real es posible efectuar eldiagnóstico del sistema.Los Bond Graph Híbridos permiten modelar sistemas híbridos por medio de un grafo.Gracias a la información causal subyacente al mismo somos capaces de inferir el conjuntode ecuaciones de simulación asociado al modelo.En este trabajo vamos a utilizar los HBGs como modelo de sistemas híbridos que alternancomportamientos dinámicos continuos en función de señaales discretas proporcionadaspor órdenes o señales de control discretas.La asignación de causalidad en un Bond Graph suele realizarse con un algoritmo conocidocomo SCAP. Su adaptación a sistemas híbridos se conoce como HSCAP y será otrade las bases de nuestro trabajo.Para el estudio del diagnóstico de sistemas recurrimos a la técnica de DBC empleandoPosibles Conflictos (PCs). Los PCs son una técnica de compilación que permite aplicar,bajo ciertas suposiciones, la DBC en sistemas dinámicos en línea. Cada PC se concibecomo conjuntos de ecuaciones minimales con redundancia analítica mínima. Mediante losPCs es posible descomponer el sistema en subsistemas de HBGs, de menor complejidadque el sistema completo, que pueden ser simulados independientemente.En esta memoria se describe la labor de investigación asociada al diseño de los procedimientos de HSCAP y cálculo de PCs. El objetivo del proyecto es implementar losalgoritmos para la realización de dichos procedimientos, optimizando en la medida de loposible el funcionamiento de los mismos.A lo largo del proyecto se ha desarrollado un estudio exhaustivo de los procedimientosde asignación causal en HBGs y extracción de PCs de un modelo de sistema, para formularnuestros propios algoritmos HSCAP y cálculo de Posibles Conflictos Híbridos (HPCs). Sehan seleccionado una serie de sistemas como caso de estudio sobre los cuales aplicarnuestros algoritmos. Mediante el uso de una serie de herramientas software diseñadas enel proyecto, hemos probado la validez de los algoritmos sobre los casos de estudio. Losresultados obtenidos han sido satisfactorios, observándose una correspondencia de estoscon las hipótesis teóricas previamente formuladas.
YR 2015
FD 2015
LK http://uvadoc.uva.es/handle/10324/15284
UL http://uvadoc.uva.es/handle/10324/15284
LA spa
NO Departamento de Informática (Arquitectura y Tecnología de Computadores, Ciencias de la Computación e Inteligencia Artificial, Lenguajes y Sistemas Informáticos)
DS UVaDOC
RD 19-abr-2024