L. Chittaro, R. Ranon, A. Soldati : "Introducing deviations at multiple abstraction levels in functional diagnosis of fluid transfer systems"

M. Porcheron, B. Ricard : " An application of abductive diagnostic methods to a real-world problem"

A. Rakar, P. Balle, D. Juricic, D. Fussel : "Residual Evaluation in Fault Diagnosis by means of Transferable Belief Model"

G. Katsillis, M. Chantler : "Can dependency-based diagnosis cope with simultaneous equations?"

Tutorial: Robert Valette (LAAS, France),

"Monitoring and diagnosing dynamic systems based on discrete event models.

A. Darviche : "New advances in structured-based diagnosis : a method for compiling devices"

Chair : L. Chittaro

D. Rozier, S. Xia : "MVDS : a multiple-variable strategy for complex multiple-fault situations fault-diagnosis"

M. Stumpner, F. Wotawa : "Diagnosing tree structured systems"

D. Le Berre, R. Sabbadin : "Decision-theoretic diagnosis and repair : representational and computational issues"

M. Dumas, R. Thetiot, F. Zouaoui : Diagnosis using multimodeling representation; application to PWR primary coolant loop"

J. Lang : "Planning to discriminate diagnoses - Tests for hypothetical reasoning, revisited"

Invited speaker : Patrick Taillibert (Dassault Electronique)

"Past, present and future of Diagnosis Activities at Dassault Electronique".

L. Rozé :"Supervision of telecommunication networks : a diagnoser approach"

Y. El Fattah, G. Provan : "Modeling temporal behavior in the model-based diagnosis of discrete-event systems (a preliminary note)"

P. Laborie, J.-P. Krivine :"Automatic generation of chronicles and its application to alarm processing in power distribution systems"

Trip to Cancale and Saint-Malo

Dinner at a "Crêperie" in Saint-Malo

G. Biswas, J.P. Mosterman "Measurement selection and diagnosability of complex physical systems"

G. Bloor, E. Scarl, R. Carnes : "Separation of control response from fault detection for systems with critical response time"

M. Kavcic, D. Juricic : "A prototyping tool for fault tree based process diagnosis"

R. Möller, L. Hotz, H. Milde, B. Neumann : "Resistive networks revisited : Exploitation of network structures and qualitative reasoning about deviations is the key"

P. Leray, P. Gallinari, E. Didelet : "Neural networks tools for alarm generation in the telephone network traffic"

F. Vadam, J. Montmain, J.-P. Cassar : "Fault isolation using simulations"

M.-O. Cordier, S. Thiébaux , O. Jehl, J.P. Krivine: "Supply restoration in power distribution systems: a reference problem in diagnosis and reconfiguration"

M. Sachenbacher, P. Struss : "Fault isolation in the hydraulic circuit of an ABS : a real-world reference problem for diagnosis"

The VMBD project by O. Dressler and M. Tatar(Daimler-Benz)

The SACHEM Project by F.-M. Lesaffre(Sollac) :"A computer-aided blast-furnace process control system"

The ALARM Project

DX Meeting (DX'98 and DX'99)

22:30 - 24:00

Night visit of the Abbey

Co-invited speakers : Gautam Biswas (Vanderbilt Univ., USA) and Mike Chantler (Heriott Watt Univ., Scotland)

"All that each DXer should know about systems and control theory"

L. Console, R. Meo, D. Theseider Dupré : "On the automatic synthesis of functional dependency graphs from libraries of component models"

S. McIlraith : " Explanatory diagnosis : conjecturing actions to explain observations"