|
A "BRIDGE"
task group was created within the European Network of Excellence MONET I (http://monet.aber.ac.uk) (now in its second phase)
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
DX
Terminology.
Tutorial
on FDI
approaches by Marcel Staroswiecki (LAIL, Lille, France)
Tutorial
on DX
approaches by Peter Struss (TU Munich & Occ’m Software,
Germany)
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)
Tuesday, March 6th
Continuous
Example Session coordinated by Louise Travé-Massuyès
(France) and Daniele Theseider Dupré (Italy)
Parameter
estimation for fault detection on the tank benchmark (accompanying
slides)(Teresa Escobet, L. Travé-Massuyès)
Qualitative
deviations and causal simulation (Daniele Theseider Dupré)
Qualitative
diagnosis with temporal causal graphs (Gautam Biswas,
Pieter Mosterman, Eric Manders, Joel Barnett, Sriram Narasimhan,
Philippus Feenstra, Liguo Yu.)
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)
Discrete
Example Session coordinated by Marie-Odile Cordier (France)
and Jan Lunze (Germany)
Introduction
(M.-O. Cordier, J. Lunze) and Diagnosis
of stochastic automata (J. Lunze, J. Schroeder)
Diagnosis
of active systems: concepts and tools (M. Zanella)
A
decentralized approach for diagnosing DES modelled with communicating
automata (M.-O. Cordier)
System
diagnosis with process algebras (Claudia Picardi and Marina
Ribaudo)
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)
|
