Red de Detección y Diagnosis de Sistemas Complejos
nueva Red de Supervisión y Diagnosis
Escuela2008uk.RecentChanges
Edit Page
Page Revisions

School 2008

Versión en español

News

Academic Program

Registration

Location

Attended


Edit menu

III INTERNATIONAL SCHOOL ON FAULT DETECTION AND DIAGNOSIS OF COMPLEX SYSTEMS

Seville (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 Approach

T3.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 diagnosis
T7.2. Dependence-based modeling and its relationship to (static) program slicing
T7.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:

Edit Page - Page Revisions - RecentChanges

Si tienes alguna sugerencia, envíala a: rdiag@lsi.us.es
Page last modified on February 04, 2010, at 01:43 PM