Validación de la correcta definición del modelo de un sistema híbrido representando en MLD
Loading...
Date
2007
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
El grupo de investigación GAICO de la UTB, cuya principal línea de investigación ha sido
en modelamiento y control de sistemas industriales, ha abordado el tema a través de lo que
se conoce en la literatura técnica como sistemas dinámicos híbridos, y en particular a través
de un modelo denominado Sistemas Lógicos y Dinámicos mezclados (mixed logical and
dynamical – MLD systems); los sistemas lógicos y dinámicos mezclados pueden ser
representados como un sistema aparentemente lineal con desigualdades con forma lineal,
pero una parte de sus variables solo pueden tener valores binarios [8].
Ya el grupo ha utilizado esta representación para resolver problemas de simulación y
problemas de control predictivo, sin embargo, los algoritmos utilizados requieren enumerar,
en cierto modo, las posibles soluciones factibles del problema, y por ello el algoritmo tiene
complejidad computacional No Determinística Polinomial NP, adicionalmente es difícil
encontrar errores de modelamiento en la estructura matemática, debido al potencialmente
alto número de restricciones que se pueden requerir para representar el sistema [7].
Debido al potencialmente alto número de restricciones que pueden estar incluidas en el
modelo MLD, la representación puede ser de difícil evaluación por parte del usuario final.
En nuestro conocimiento no se ha implementado ningún algoritmo que permita verificar la
validez del modelo MLD