III INTERNATIONAL SCHOOL ON FAULT DETECTION AND DIAGNOSIS OF COMPLEX SYSTEMSSeville (Spain), from 9th to 13th June, 2008
Academic Program
The contents of the School has been divided in seven thematic block which has been scheduled as follows:T1. INTRODUCTION. FUNDAMENTAL CONCEPTS (2 hours) T1.1 Definitions: fault, failure, detection, diagnosis, reliability,... T1.2. Foundations for fault detection and diagnosis in FDI and DX: Detectability, observability, diagnosability,... [pdf] T2. MODEL-BASED DIAGNOSIS: THE FDI APPROACH (5 hours) T2.1. Structural analysis and analytical redundancy [pdf]T2.2. Model-based detection methods: Parameter estimation, parity equations, state observers for linear and non-linear models [pdf]T2.3. Fault detection: Residual Evaluation by consistency tests, and envelope generators [pdf]T2.4. Fault isolation: structured and directional residuals [pdf]
T3. MODEL-BASED DIAGNOSIS: THE DX APPROACH (6 hours) T3.1. Model-based diagnosis from AI Community. Consistency-based [pdf] diagnosis, CBD: Reiter's ApproachT3.2. GDE: The computational approach to CBD [pdf, pdf]T3.3. Constraint-driven fault diagnosis [pdf] T4. BRIDGE: INTEGRACIÓN DE PARADIGMAS FDI y DX (4 hours) [pdf] T4.1. Theoretical links and comparison T4.2. Practical comparison and potential synergies
T5. DATA-DRIVEN FAULT DIAGNOSIS (4 hours) T5.1 Data-Driven Diagnosis using decision trees [pdf]T5.2 Fault Diagnosis using statistical methods [pdf] T6. DIAGNOSIS FOR DISCRETE EVENT SYSTEMS AND DISTRIBUTED SYSTEMS (6 hours) T6.1 Introduction to diagnosis for DES, diagnosability for discrete event systems(DES) T6.2 Distributed/decentralized approaches T6.3 Incremental Monitoring T6.4 Diagnosability for DES + Self-healability
T7. SOFTWARE DIAGNOSIS. MODEL-BASED DEBUGGING (8 hours)
T7.1. Basic ideas behind localizing bugs using model-based diagnosisT7.2. Dependence-based modeling and its relationship to (static) program slicingT7.3. Modeling for debugging using the program language's semantics T7.4. Improvements and other issues: Using multiple test cases,Using pre/post-conditions, invariants or assertions, using abstractions,current related research in automated debugging estrategies.
SCHEDULE
| Monday 9th | Tuesday 10th | Wednesday 11 th | Thursday 12th | Friday 13th | 9am-11am | (9:30)Invited Speaker | T2 | T5.1 | T6.3/4 | T7.3 | 11’30am-1:30pm | T1 | T3.1 | T6.1 | Network Meeting | 7.4 |
| Lunch | Lunch |
Lunch
|
Lunch | Lunch | 3:30pm-5 :30pm | T2 | T3.2 | T5.2 | T7.1 | T4 | 5:30pm-19:30pm | 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 University of 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/) of Departamento de Ingeniería de Sistemas y
Automática: María Jesús de la Fuente
|