Red de Detección y Diagnóstico de Fallos de Sistemas Complejos
Escuela2008es.RecentChanges
Edit Page
Page Revisions

Escuela 2008

English version

Noticias

Introducción

Objetivos

Programa

Tasas de Inscripción

Localización



Edita menu

ESCUELA DE DETECCIÓN Y DIAGNOSIS DE FALLOS EN SISTEMAS COMPLEJOS


PROGRAMA

T1. CONCEPTOS FUNDAMENTALES (2 horas)

T1.1 Conceptos: fallos, detección, diagnóstico, fiabilidad,...

T1.2. Principios básicos de los métodos de detección y diagnóstico de fallos, FDI y DX, detectabilidad, observabilidad, diagnosticabilidad,...  [pdf]

T2. DIAGNOSIS BASADA EN MODELOS: PARADIGMA FDI (5 horas)

T2.1. Conceptos de análisis estructural y redundancia analítica  [pdf]

T2.2. Métodos de detección de fallos basados en modelos: estimación de parámetros, ecuaciones de paridad, observadores de estado aplicado a sistemas lineales y no lineales  [pdf]

T2.3. Detección de fallos: evaluación de residuos mediante tests de consistencia y generadores de envolventes [pdf]

T2.4. Localización de Fallos: residuos estructurados y dirigidos  [pdf]

T3. DIAGNOSIS BASADA EN MODELOS: PARADIGMA DX (6 horas)

T3.1. Diagnosis basada en modelos, la perspectiva de la Inteligencia Artificial. Diagnosis basada en consistencia (DBC), la propuesta de Reiter [pdf]

T3.2. DBC, el GDE y otras aproximaciones computacionales [pdf, pdf]

T3.3. Diagnosis basada en modelos con restricciones [pdf]

T4. BRIDGE: INTEGRACIÓN DE PARADIGMAS FDI y DX (4 horas)  [pdf]

T4.1. Conexiones teóricas y análisis comparativo

T4.2. Comparación práctica y posibles sinergias

T5. DIAGNOSIS BASADA EN DATOS (MINERÍA DE DATOS) (4 horas)

T5.1 Diagnosis con árboles de decisión [pdf]

T5.2 Diagnosis con métodos estadísticos [pdf]

T6. DIAGNOSIS EN SISTEMAS DISCRETOS Y DISTRIBUIDOS (6 horas)

T6.1 Introducción a la diagnosis y diagnosticabilidad de sistemas de eventos discretos(DES)

T6.2 Aproximaciones a la diagnosis distribuida/descentralizada

T6.3 Monitorización Incremental

T6.4 Self-healability

T7. DIAGNOSIS DE FALLOS EN SOFTWARE. MODEL-BASED DEBUGGING (8 horas)

T7.1. Ideas básicas de localización de bugs usando diagnosis basada en modelos

T7.2. Modelado basado en dependencias y sus relación con program slicing

T7.3. Modelado para depuración de la semántica de los programas

T7.4. Mejoras y otras cuestiones: Uso de múltiples casos de tests,

Uso de pre-, post-condiciones, invariantes o asertos, uso de abstracciones,

etc...


Los estudiantes podrán además asistir a la reunión de la Red de Detección y Diagnóstico de Fallos de Sistemas Complejos (RDSC), que tendrá lugar a lo largo de la mañana del Jueves 12 de junio.

Planificación por sesiones:

Comienzo de las clases el día 9 de junio y finalización el día 13 de junio de 2008. Las sesiones tendrán los siguientes horarios: mañanas de 9:00 a 13:30 y tardes de 15:30 a 19:30.

Hora

Lunes 9

Martes 10

Miércoles 11

Jueves 12

Viernes 13

9-11

(9:30) Charla Invitada

T2

T5.1

T6.3/4

T7.3

11:30-13:30

T1

T3.1

T6.1

Reunión Red

T7.4

Comida

Almuerzo

Almuerzo

Almuerzo

Almuerzo

Almuerzo

15:30-17:30

T2

T3.2

T5.2

T7.1

T4

17:30-19:30

T2

T3.3

T6.2

T7.2

T4


INVITED LECTURERS

  • Marie-Odile Cordier. She received her PhD in 1979, and her Doctorat d’Etat in 1986, both from the University Paris 11, Orsay, France. She was an Associate Professor at the University Paris 11 since 1973 and became a Full Professor at the University of Rennes 1, Rennes, France, in 1988, performing her research activities at IRISA-INRIA.
    She is currently the Scientific Leader of the DREAM Team (diagnostics, reasoning, and modeling). Her
    main research interests are in artificial intelligence, focusing in model-based diagnosis, online monitoring, model acquisition, and temporal abductive reasoning. She has been responsible for several industrial projects and has published numerous papers in international conference proceedings and scientific
    journals. She is Co-Leader of the French Imalaia Group and a member of the BRIDGE MONET Group, both studying the links between AI and control theory methods in the field of monitoring and diagnosis.
    Dr. Cordier has been an ECCAI fellow since 2001. She has served as a program committee member and Area Chair for several conferences.
  • Louise Travé-Massuyès, from LAAS-CNRS (France) will talk about BRIDGE: Integration of FDI and DX approaches (T4). She is currently a Research Director of the Centre National de Recherche Scientifique (CNRS), working at LAAS, Toulouse, France, in which she has led the "Qualitative Diagnosis, Supervision and Control" Group for several years. Her main research interests are in qualitative and model based reasoning and applications to dynamic systems monitoring and diagnosis. She is Chairperson of the IEEE SMC Technical Committee on Qualitative Reasoning; member of the IFAC Safeprocess Technical Committee. She is a Senior Member of the IEEE Computer Society. She was also the leader of the MONET2 task group on BRIDGE.
  • Franz Wotawa received a PhD in 1996 from the Vienna University of Technology. He is currently a professor of software engineering, head of the Institute for Software Technology (IST), and dean of studies (for the computer science curriculum) at the Graz University of Technology.His research interests include model-based and qualitative reasoning, configuration, planning, theorem proving, intelligent agents, mobile robots, verification and validation, and software engineering. Currently, Franz Wotawa works on applying model-based diagnosis to software debugging as well as on testcase generation and repair. He has written more than 100 papers for journals, conferences, and workshops and has been member of the program committees for several workshops and conferences. He organized workshops and special issues on model-based reasoning for the journal AI Communications. He is in the editorial board of the Journal of Applied Logic (JAL), and a member of IEEE Computer Society, ACM, AAAI, the Austrian Computer Society (OCG), and the Austrian Society for Artificial Intelligence.

Also, there will be teachers from Spanish research groups related to Fault Detection and Diagnosis Spanish Network:



Edit Page - Page Revisions - RecentChanges

Si tienes alguna sugerencia, envíala a: rdiag@lsi.us.es
Page last modified on June 09, 2008, at 11:26 AM