ISBN-13: 9783659028205 / Hiszpański / Miękka / 2012 / 176 str.
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."
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 definición al ámbito 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. Basándose en tal modelo se propone la noción de diagnosticabilidad entrada-salida y se propone un algoritmo polinomial para caracterizar RPI diagnosticables. Para la detección y localización de fallas en línea en los SED, se proponen dos esquemas de diagnóstico que utilizan un modelo de referencia expresado en RPI. Uno de los esquemas incluye un modelo diagnosticador mínimo; se propone un método eficiente para obtener tal diagnosticador el cual está formado por un lugar y tantas transiciones como haya en el modelo del sistema; el marcado de ese único lugar es suficiente para detectar y localizar la ocurrencia de las fallas en el SED. Se propone una extensión a este sistema con modelos diagnosticadores con mas de un lugar.