| International Workshop on Principles of Diagnosis (DX'03) | ||||||||||
|
DX'03 Proceedings Below are the papers that were presented at this years DX Workshop. Invited Talks Fault Diagnosis Based on Analytical Models for Linear and Non-Linear Systems - A Tutorial. Michel Kinnaert Model-Integrated Computing Infrastructure of Fault Management. Janos Sztipanovits Advances on Informatics-based Prognostics. Jay Lee Tool Support
for Model-based Test Development and Measurement of Structural Coverage.
Fundamentals of Model-based Diagnosis. Johan de Kleer
Model Refinement
for Monitoring - Refutation vs. Traditional Parameter Estimation.
Andreas Doblander, Bernhard Rinner, Ulrich Weiss Discrete Event System Diagnosis using Parameter Estimation Methods. Joachim Fox, Gernot Schullerus, Matthias Schwaiger, Volker Krebs The Gaussian
Particle Filter for Diagnosis of Non-Linear Systems. Richard Dearden
and Frank Hutter Multi-Modal Particle Filtering for Hybrid Systems with Autonomous Mode Transitions. Stanislav Funiak, Brian Williams A Robust Method for Hybrid Diagnosis of Comples Systems. Sriram Narasimhan, Gyula Simon, Gautam Biswas, Nagabhusan Mahadevan, John Ramirez, and Gabor Karsai Failure
Diagnosis of Stochastic Automata. David P.L. Thorsley, Demosthenis
Teneketzis Deriving
Qualitative Deviations from MATLAB™ Models. Luca Console,
Gianluca Correndo, Claudia Picardi Model-checking
Based Fault Isolation using Automatic Abstraction. Dan Lawesson,
Ulf Nilsson, Inger Klein Efficient
Trajectories Computing Exploiting Inversibility Properties.
Marie-Odile Cordier, Alban Grastien, Christine Largouet, Yannick
Pencole Enhancing Consistency Based Diagnosis with Machine Learning Techniques in the Content of Supervision. C. Alonso, J. Rodriguez, B. Pulido Automatic Abstraction in Coponent-based Diagnosis Driven by System Observability. G. Torta and P. Torasso A Toolbox Integrating Model-based Diagnosability Analysis and Automated Generation of Diagnostics. Oskar Dressler, Peter Struss Debugging Program Exceptions. Wolfgang Mayer, Markus Stumptner, Franz Wotawa Coupling CSP Decomposition and Diagnosis for Tree-Structured Systems. Markus Stumptner, Franz Wotawa Continuous Diagnosis of Discrete-Event Systems. G. Lamperti, M. Zanella AO* Variant Methods for Automatic Generation of Near-optimal Diagnosis Trees. Xavier Olive, Louise Trave-Massuyes, Hervé Poulard Dynamic Mechatronic Diagnosis Approach. Stefan Lüke, Hans-Christian Reuss, Bernard Bäker Computation of Fault Detection Delay in Discrete-Event Systems. Tae-Sic Yoo and Humberto E. Garcia Identification of Timed Discrete-Event Model for Diagnosis. C. Falkenberg, P. Supavatanakul, J. Lunze Computing Diagnosis Efficiently: A Fast Theorem Prover for Propositional Horn Theories. Bernhard Peischl and Franz Wotawa Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Designs. Bernhad Peischl and Franz Wotawa An Integration of FDI and DX Approaches to Polynomial Models using Gröbner Bases. R. M. Gasca, C. Del Valle, R. Ceballos and M. Toro Model Based Diagnosis in Self Adaptive Software. Robert Laddaga and Paul Robertson Automatic Qualitative Model Abstraction from Numeric Simulation Model. Yuhong Yan A Factored Symbolic Approach to Reactive Planning. Seung H. Chung and Brian C. Williams A Novel Framework for Integrating Discrete Event System Control and Diagnosis. Gregory M Provan
|
||||||||||
|
||||||||||
