La diagnosticabilidad de un sistema es la posibilidad de detectar y localizar el estado de falta en el que se encuentra el sistema a partir del conocimiento de sus entradas, salidas y la estructura de su modelo en un tiempo finito. En este trabajo se extiende esa definicion al ambito de los Sistemas de Eventos Discretos (SED) modelados con Redes de Petri Interpretadas(RPI). Las RPI son usadas para modelar tanto el comportamiento normal y de falta de un sistema. Basandose en tal modelo se propone la nocion de diagnosticabilidad entrada-salida y se propone un algoritmo polinomial para caracterizar RPI diagnosticables. Para la deteccion y localizacion de fallas en linea en los SED, se proponen dos esquemas de diagnostico que utilizan un modelo de referencia expresado en RPI. Uno de los esquemas incluye un modelo diagnosticador minimo; se propone un metodo eficiente para obtener tal diagnosticador el cual esta formado por un lugar y tantas transiciones como haya en el modelo del sistema; el marcado de ese unico lugar es suficiente para detectar y localizar la ocurrencia de las fallas en el SED. Se propone una extension a este sistema con modelos diagnosticadores con mas de un lugar."

En este trabajo se estudia la interaccion de los sistemas multivariables (multiples entradas y salidas), como una de sus caracteristicas mas importantes, conocido como el problema de acoplamiento, abordado desde los anos 60s y que actualmente esta resuelto en forma general para el caso particular del desacoplamiento regular (mismo numero de entradas que salidas) y que aun no existe solucion general para el caso no regular (mayor numero de entradas que salidas), solo algunos casos particulares por la dificultad matematica que presenta, lo que hace importante su analisis. En este trabajo el enfoque de estudio del problema de acoplamiento se hace con los conceptos de la logica difusa. Con tal enfoque, se propone una solucion al problema de acoplamiento para el caso regular, el cual presenta una ventaja sobre el analisis matematico de las soluciones existentes, pues la logica difusa se basa en la utilizacion del conocimiento experto sobre el sistema sin conocer el modelo matematico, y asi es posible establecer un conjunto adecuado de reglas heuristicas que consigan este objetivo de control. Se extienden los resultados para modificar el factor de acoplamiento en forma deseada."