Validación de la correcta definición del modelo de un sistema híbrido representando en MLD

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