A "BRIDGE" task group was created within the European Network of Excellence MONET I (http://monet.aber.ac.uk) (now over) to help cross-fertilisation of two distinct and parallel research communities concerned with the diagnosis of technical system: the FDI community in the Engineering world, using techniques from control theory and statistical process control, and the DX community, originated from Computer Science and Artificial Intelligence.

Each community has developed its own tools, techniques and approaches. Frustratingly, each one also has its own set of conferences, publications and terminology.

There is however a growing number of researchers, in both research communities, who are trying to understand and incorporate the approaches of their parallel research field.

This workshop is aimed at gathering researchers from both communities and creating the opportunity to initiate the exchanges at an international level, with a long-term goal of developing consensus across both communities as to the way in which diagnostic problems and solutions should be described, to identify similarities and complementary features in the DX and FDI methods, and to contribute towards a unifying framework which would enable one to take advantage of the synergy of complementary techniques from the two communities.
 

The objectives of the workshop are:

• to provide a presentation of the state of the art in the two communities;
• to provide initial elements for a comparison of approaches from the two sides, by application on simple example problems;
• to stimulate the discussions and further research on the "bridge" between DX and FDI.

Program

Monday, March 5th

14:00-14:30 Terminology

15 min to each community to review their own terminology

14.30-15.45 Tutorial on FDI approaches by Marcel Staroswiecki (LAIL, Lille, France) 

15.45-16.15 Break 

16.15-17.30 Tutorial on DX approaches by Peter Struss (TU Munich & Occ’m Software, Germany)

17.30-18.30 Existing Bridge session (Presentation of existing work at the Bridge of FDI and DX)
 

• A comparative Analysis of AI and Control Theory Approches to Model-Based Diagnosis (IMALAIA Group, France)

• Structured Hypothesis Tests: Aspects bridging DX and FDI (Mattias Nyberg, Sweden)

18.30-19 Discussion
 

Tuesday, March 6th

9:00-12:00 Continuous Example Session
coordinated by Louise Travé-Massuyès (France) and Daniele Theseider Dupré (Italy)
 

• Parameter estimation for fault detection on the tank benchmark (Teresa Escobet, L. Travé-Massuyès) 

• Qualitative deviations and causal simulation (Daniele Theseider Dupré) 

• Qualitative diagnosis with temporal causal graphs (Gautam Biswas et al.) 

• Fault detection with modal interval models on the tank benchmark (Joaquim Armengol & Louise Travé-Massuyès) 

• Parity Space and Temporal Bound Sequence Models (R. Mrani Alaoui, P. Taillibert, M. Staroswiecki, B. Bouamana)

14:00-17:00 Discrete Example Session

coordinated by Marie-Odile Cordier (France) and Jan Lunze (Germany)

• 14:00 - 14:10. Introduction (M.-O. Cordier, J. Lunze)

• 14.10 - 14.45. Diagnosis of stochastic automata (J. Lunze, J. Schroeder)

• 14.45 - 15.20 Diagnosis of active systems: concepts and tools (M. Zanella)

• 15.20 - 15.40 Break 

• 15.40 - 16.15 A decentralized approach for diagnosing DES modelled with communicating automata  (M.-O. Cordier)

• 16.15 - 16.50 (Title to be submitted) (Claudia Picardi and Marina Ribaudo)

• 16.50 - 17.00 Final discussion

17:00-18.30 General discussion and planning for next activities
 

Workshop program committee 

Louise Travé-Massuyès (LAAS, France, louise@laas.fr) - co-chair
Marcel Staroswiecki (LAIL, France) - co-chair 
Luca Console (Italy) 
Marie-Odile Cordier (France) 
Jan Lunze (Germany) 
Ron Patton (UK) 
Peter Struss (Germany) 
Daniele Theseider Dupré (Italy) 

Registration information is available from the DX01 web page:
www.di.unito.it/~dx01