June 23 - 25,
2004 Carcassonne, France. See the DX'04
Webite for reference.
DX'04 Proceedings
Below
are the papers that were presented at this years DX Workshop. Select
the relevant document title to access the pdf file.
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 Torasso
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
|
