DX04 PROCCEDINGS

Invited talks

CHEM : Advanced Decision Support System for Chemical/Petrochemical
Sylvie Cauvin

Case-Based Reasoning in Diagnostic Problem Solving — Alternative or Complemetary to MBR?
Pietro Terasso

Papers

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. Williams

Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröebner Bases
R. Ceballos, M.T. Gomez, R.M. Gasca, S. Pozo

Soundly Managing Uncertain Decisions in Diagnostic Analysis
S. Touaf, S. Ploix

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
A. Hélias, F. Guerrin, J.P. Steyer

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

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 Modelling 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

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

A Transfer Function Approach to Fault Diagnosis for Linear Systems: Inversionand 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

Combining Particle Filters and Consistency Based Approaches for Monitoring and Diagnosis of Stochastic Hybrid Systems
S. Narasimhan, R. Dearden, E. Bénazéra

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

Posters

A Model Integrated Computing Tool-Suite for Fault-Adaptive Control
E.J. Manders, G. Biswas, J. Ramirez, N. Mahadevan, 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-Traces 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. Wu, G.M Coghill

A Probabilistic-Based Algorithm to Diagnose Complex Electronic Systems
M.A. Maalej, V. Delcroix, S. Piechowiak

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

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

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

Constraint Databases Technology for Polynomial Models Diagnosis
M.T. Gomez, R. Ceballos, R. M. Gasca, C. Del Valle

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

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

Reconfigurable Fault Tolerant Control for Linear Stochastic Systems Subject to Sequential Jumps
J.Y. Keller