ESCUELA DE DETECCIÓN Y DIAGNOSIS DE FALLOS EN SISTEMAS COMPLEJOS
PROGRAMAT1. 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.
| 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: - From MICE Research Group (http://mice.udg.edu) and EXIT Research Group (http://exit.udg.edu) from the Universitat de Girona: Joaquim Armengol and Joaquim Meléndez,
- From SAC Research Group at Universidad Politécnica de Cataluña (http://webesaii.upc.es/): Vicenç Puig and Teresa Escobet,
- From Quivir Research Group (http://www.lsi.us.es/~quivir) at Sevilla University: Rafael Martínez Gasca and Carmelo del Valle
- From Fault Diagnosis and Detection Group (FDD) at Valladolid University(http://www.isa.cie.uva.es/ ), Departamento de Ingeniería de Sistemas y Automática: María Jesús de la Fuente.
|