DX04

PROGRAM AT A GLANCE

DX04 Technical Program
A PC under Windows XP and a Macintosh under MacOS X will be available on site for your presentations.
(roll over to see details)

Tuesday, 22nd

Wednesday, 23rd

Thursday, 24th

Friday, 25th

TRAVEL

Session 3

8h 15

DX Registration

8h 30

Session 5.1

8h 45

Opening

Invited Talk

9h 15

9h 30

9h 45

10h

Break (30mn)

Break (15mn)

10h 15

Session 5.2

10h 30

Session 1

9:00-10:00 INVITED TALK

The CHEM European Project : An advanced decision support system for chemical and petrochemical manufacturing systems
Sylvie Cauvin

14 :45-16 :45 Friday POSTER SESSION

Diagnosis of Discrete-Event Systems using Binary Decision Diagrams
S.M. Thiebaux, A. Schumann, Y. Pencolé

An Improved Algorithm for Hybrid Diagnosis of Complex Systems
G. Biswas, S. Gupta, J.W. Ramirez

Dynamic Value-Based Diagnosis System for Assembler Programs
L. Lin, Y. Jiang, Z. Fan, C. Zang

Constraint Databases Technics for Polynomial Models Diagnosis
T. Gomez Lopez, R. Ceballos, R. M. Gasca

Model-based Failure Modes and Effects Analysis od Software
N.A. Snooke

Reconfigurable fault tolerant control for linear stochastic systems subject to sequential jumps
J.Y. Keller

On the integration of fault detection and isolation in model based fault diagnosis
V. Puig, J. Quevedo, T. Escobet, B. Pulido

Hierarchical Distributed Diagnosis under Global Consistency
R. Su, W.M. Wonham

Matching the Requirements in Model-Based Fault Diagnosis
A. Rakar, D. Juricic

Session 4

10h 45

11h

11h 15

Break (15mn)

11h 30

Invited Talk

11h 45

12h

Lunch

12h 15

12h 30

Lunch

12h 45

13h

13h 15

13h 30

13h 45

14h

Session 2.1

Social event

Business Meeting

14h 15

14h 30

14h 45

Poster Session

15h

14h 15

15h 30

Break (15mn)

15h 45

Session 2.2

Break (15mn)

16h

Poster Session

16h 15

16h 30

16h 45

Break (15mn)

17h

Poster Session

Cité Guided Tour

17h 15

17h 30

17h 45

18h

Workshop Dinner

18h 30
Welcome Reception

Regular talks : 30 mn (with questions)
Posters: Posters must be prepared on an A1 format page or, equivalently, with up to 10 A4 pages. The equipment to hook the posters will be provided. The author(s) are also invited to prepare one or two slides for giving a one minute "elavator pitch" to overview their poster.
Invited talks : 1h

17 :00-18 :30 Wednesday POSTER SESSION

An Integrated Model-based Tool Suite for Fault-Adaptive Control
G. Biswas, E.J. Manders, J.W. Ramirez, J. Wu

Applying Domain Splitting to Behavior Prediction in Model-Based Diagnosis
R. Lunde

Using discrete invariants for fault detection of hybrid systems
G. Lichtenberg, J. Luetzenberg

Model-based monitoring of component-based software systems
I. Grosclaude

Towards a Model for Automated Fault Localization in VHDL Designs: Exploring Counterexamples Using a Model-Based Diagnosis Approach
B. Peischl, F. Wotawa

Building Hybrid Rover Models: Lessons Learned
T.K. Willeke, R. Dearden

Diagnosability analysis of distributed discrete event systems
Y . Pencolé

Sensor placement optimisation using genetic algorithms
S. Spanache, T. Escobet, L. Travé-Massuyès

A propositional root antecedent ITMS
G.M Coghill, G. Wu

A probabilistic-based Algorithm to diagnose complex electronic systems
M.A. Maalej, V. Delcrroix, S. Piechowiak

11 :30-12 :30 INVITED TALK

Case-based Reasoning in diagnostic problem solving -Alternative or complemetary to MBR?
Pietro Torasso

10 :15-11 :15 SESSION 5.2

Combining particle filters and consistency based approaches for monitoring and diagnosis of stochastic hybrid systems
S. Narasimhan, R. Dearden, E. Bénazéra

Diagnosis a Team of Agents: Scaling-Up
M. Kalech, G.A. Kaminka

8 :30-10 :00 SESSION 5.1

A Transfer Function Approach to Fault Diagnosis for Linear Systems: Inversion and Low-pass Filters
R. Marquez, A. Rios-Bolivar, E Teles

Fault diagnosis of closed loop linear systems with parametric uncertainties
C. Join, M. Fliess, H.Sira-Ramirez

Data validation of uncertain dynamic systems
M. Alhaj Dibo, D. Maquin, J. Ragot

10 :30-12 :00 SESSION 4

Approximate Modeling for Debugging of Program Loops
W. Mayer, M. Stumptner

Introducing Alias Information into Model-Based Debugging
D. Köb, F. Wotawa

System Diagnosis using Hybrid Failure Propagation Graphs
S. Abdelwahed, G. Karsai, G. Biswas

8 :00-10 :00 SESSION 3

A Model of Component Consistency in Distributed Diagnosis
R. Su, W.M. Wonham
Compilation and reuse of knowledge in diagnosis of discrete-event systems
G. Lamperti, M. Zanella

Extending decentralized discrete-event approach to diagnose reconfigurable systems
A. Grastien, M.O. Cordier, C. Largouët

Identifying Model-Based Reconfiguration Goals through Functional Deficiencies
E. Bénazéra, L. Travé-Massuyès

14 :00-15 :30 SESSION 2.2

Chronicles construction starting from the fault model of the system to diagnose
B. Guerraz, C. Dousson

Distributed Fault Detection With Delays Consideration
A. Boufaied, A. Subias, M. Combacau

14 :00-15 :30 SESSION 2.1

Deviation Models Revisited
P. Struss

Model Synthesis for model-based fault analysis
C. Picardi, L. Console, D. Theseider Dupré

Abstracting Continuous System Behaviors into Timed Automata: Application to Diagnosis of an Anaerobic Digestion Process
J.P. Steyer, A. Hélias, F. Guerrin

10 :30-12 :30 SESSION 1

The Role of OBDDs in Controlling the Complexity of Model Based Diagnosis
G. Torta, P. Torasso

Diagnosis as Semiring-based Constraint Optimization
M.F. Sachenbacher, B. William

Determination of possible minimal conflict sets using component cluster and Gröebner Basis
R. Ceballos, M.T. Gomez, R.M. Gasca, S. Pozo

Soundly managing uncertain decisions in diagnostic analyses
S. Ploix, S. Touaf