Los usuarios del Repositorio de la UTB estarán autorizados para adaptar, transformar y crear a partir del contenido de esta publicación incluso para fines comerciales, sin embargo toda obra derivada de la publicación original deberá ser distribuida bajo la misma licencia CC-BY-SA. El autor o autores, sin excepción deberán ser claramente identificados como titulares de los derechos de autor de la publicación original.2019-10-182019-10-1820072007(ALEPH)000018165UTB01(janium) 1846018458https://hdl.handle.net/20.500.12585/737El 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 MLD124 hCD-Romapplication/pdfspahttp://creativecommons.org/licenses/by-nc-nd/4.0/Control automáticoAlgoritmos (computadores)Programación (Computadores electrónicos)info:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessAtribución-NoComercial 4.0 InternacionalUniversidad Tecnológica de BolívarRepositorio UTB629.8 V172