Vol. 2 No. 2 (2010): Proceedings of the 21st International Workshop on the Principles of Diagnosis, held jointly with the Annual Conference of the PHM Society 2010

Published: 2010-10-11

Technical Research Papers

Overcoming Non-Discernibility through Mode-Sequence Analytic Redundancy Relations in Hybrid Diagnosis and Estimation

Michael Hofbaur, Louise Travé-Massuy`es, Theresa Rienm¨uller, Mehdi Bayoudh
Abstract 105 | PDF Downloads 102 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1938
PDF

Decentralized Fault Detection and Isolation of Manufacturing Systems

M. Sayed Mouchaweh
Abstract 111 | PDF Downloads 100 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1939
PDF

A Structural Algorithm for Finding Testable Sub-models and Multiple Fault Isolability Analysis

Mattias Krysander, Jan Aslund, Erik Frisk
Abstract 200 | | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1940

Spectrum-Based Sequential Diagnosis (Extended Abstract)

Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J.C. van Gemund
Abstract 96 | PDF Downloads 125 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1960
PDF

Factoring Dynamic Bayesian Networks using Possible Conflicts

Carlos J. Alonso-Gonzalez, Noemi Moya, Gautam Biswas
Abstract 249 | PDF Downloads 108 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1941
PDF

A Framework for Integrating Requirements-Based Design and Diagnosis

Gregory Provan
Abstract 125 | PDF Downloads 133 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1942
PDF

Efficient Optimal Sensor Placement for Structural Model Based Diagnosis

Albert Rosich, Abed Alrahim Yassine , St ́ephane Ploix
Abstract 107 | PDF Downloads 107 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1943
PDF

Diagnosing Process Trajectories Under Partially Known Behavior

Gerhard Friedrich, Wolfgang Mayer, Markus Stumptner
Abstract 107 | PDF Downloads 117 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1944
PDF

Sensor and Actuator Fault Isolation Using Parameter Interval based Method for Nonlinear Dynamic Systems

Zetao Li , Boutaieb Dahhou, Gilles Roux, Jing Yang, Cuixia Zhang
Abstract 110 | PDF Downloads 114 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1945
PDF

Diagnosability Analysis Considering Causal Interpretations for Differential Constrain

Erik Frisk, Anibal Bregon, Jan Aslund, Mattias Krysander, Belarmino Pulido, Gautam Biswas
Abstract 354 | PDF Downloads 106 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1946
PDF

Reformulation for the Diagnosis of Discrete-Event Systems

Alban Grastien, Gianluca Torta
Abstract 114 | PDF Downloads 132 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1947
PDF

A Diagnosis Algorithm for Inconsistent Constraint Sets

Alexander Felfernig , Monika Schubert
Abstract 115 | PDF Downloads 126 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1948
PDF

On non-invertibilities for Structural Analysis

Vincent de Flaugergues de Flaugergues , Vincent Cocquempot, Mireille Bayart , Marco Pengov
Abstract 118 | PDF Downloads 135 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1949
PDF

Distributed Consistency-Based Diagnosis without Behavior

Gianfranco Lamperti , Marina Zanella
Abstract 106 | PDF Downloads 126 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1950
PDF

An Event-based Approach to Distributed Diagnosis of Continuous Systems

Matthew Daigle, Indranil Roychoudhury, Gautam Biswas , Xenofon Koutsoukos
Abstract 339 | PDF Downloads 129 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1951
PDF

Diagnosis as Planning Revisited: An Abridged Report

Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
Abstract 96 | PDF Downloads 125 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1958
PDF

Diagnosing Intermittent and Persistent Faults using Static Bayesian Networks

Brian W. Ricks, Ole J. Mengshoel
Abstract 169 | PDF Downloads 130 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1952
PDF

Generalizing diagnosability definition and checking for open systems: a Game structure approach

Tarek Melliti, Philippe Dague
Abstract 100 | PDF Downloads 101 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1954
PDF

Poster Presentations

Computing Energy-Optimal Tests using DNNF Graphs

Anika Schumann, Martin Sachenbacher
Abstract 268 | PDF Downloads 125 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1912
PDF

OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes

A. J. Varela-Vaca, R. Martínez Gasca, L. Parody
Abstract 88 | PDF Downloads 85 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1913
PDF

A Decentralized Service Based Architecture for Design and Modeling of Fault Tolerant Control Systems

Mattias Nyberg, Carl Svärd
Abstract 114 | PDF Downloads 97 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1914
PDF

Large-scale signal reconstruction for sensor monitoring and diagnostics in nuclear power plants

Giulio Gola, Davide Roverso, Mario Hoffmann
Abstract 115 | PDF Downloads 84 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1915
PDF

Event-driven Data Mining Techniques for Automotive Fault Diagnosis

Chaitanya Sankavaram, Anuradha Kodali, Diego Fernando Martinez Ayala, Krishna Pattipati, Satnam Singh, Pulak Bandyopadhyay
Abstract 246 | PDF Downloads 158 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1916
PDF

Injecting Semantics into Diagnosis of Discrete-Event Systems

Gianfranco Lamperti, Marina Zanella
Abstract 111 | PDF Downloads 89 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1917
PDF

Efficient Drive-Based Analysis of Fault Detection Measures in Safety-Related Pneumatic Systems

Andreas Barner, Jan Bredau, Frank Schiller
Abstract 118 | PDF Downloads 100 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1918
PDF

Structural Observability. Application to decompose a System with Possible Conflicts

Noemi Moya , Gautam Biswas, Carlos J. Alonso-Gonzalez , Xenofon Koutsoukos
Abstract 291 | PDF Downloads 152 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1919
PDF

Synthesis of a Distributed and Accurate Diagnoser

Priscilla Kan John, Alban Grastien, Yannick Pencole ́
Abstract 149 | PDF Downloads 106 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1920
PDF

Solving the ADAPT Benchmark Problem - A Student Project Study

Erik Almqvist, Daniel Eriksson, Andreas Lundberg, Emil Nilsson, Niklas Wahlstro ̈m, Erik Frisk, Mattias Krysander
Abstract 87 | PDF Downloads 99 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1922
PDF

Contract-based Diagnosis for Business Process Instances using Business Compliance Rules

D. Borrego, R. M. Gasca, M. T. Go ́mez-Lo ́pez, L. Parody
Abstract 88 | PDF Downloads 104 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1923
PDF

Using distinguishing tests to reduce the number of fault candidates

Mihai Nica, Simona Nica, Franz Wotawa
Abstract 141 | PDF Downloads 115 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1925
PDF

Remote Diagnosis of Timed I/O-Automata

Thorsten Schlage, Jan Lunze
Abstract 89 | PDF Downloads 107 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1926
PDF

Defining and exploring properties in diagnostic systems

Nuno Belard, Yannick Pencolé, Michel Combacau
Abstract 79 | PDF Downloads 109 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1927
PDF

Self-adapting Strategies guided by Diagnosis and Situation Assessment in Collaborative Communicating Systems

A. Subias, E. Exposito, C. Chassot, L. Travé-Massuyes, K. Drira
Abstract 71 | PDF Downloads 78 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1928
PDF

MBD Techniques for Internet Delay Diagnosis

Roni Stern, Meir Kalech
Abstract 111 | PDF Downloads 70 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1929
PDF

Fault diagnosis in databases for business processes

M. Teresa Go ́mez-Lo ́pez, Rafael M. Gasca
Abstract 128 | PDF Downloads 93 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1931
PDF

Towards Partial (and Useful) Model Identification for Model-Based Diagnosis

Vladimir Sadov, Eliahu Khalastchi, Meir Kalech, Gal A. Kaminka
Abstract 82 | PDF Downloads 99 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1932
PDF

Diagnosability for Patterns in Distributed Discrete Event Systems

Yuhong Yan, Lina Ye, Philippe Dague
Abstract 179 | PDF Downloads 82 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1933
PDF

Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults

Lukas Kuhn , Johan de Kleer
Abstract 239 | PDF Downloads 138 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1934
PDF

Role-Based Diagnosis for Distributed Vehicle Functions

Jens Kohl, Andreas Bauer
Abstract 141 | PDF Downloads 97 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1935
PDF

Combining Model-Based and Feature-Driven Diagnosis Approaches – A Case Study on Electromechanical Actuators

Sriram Narasimhan, Indranil Roychoudhury, Edward Balaban, Abhinav Saxena
Abstract 1568 | PDF Downloads 187 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1936
PDF

Diagnosis of Autosub 6000 using Automatically Generated Software Models

Juhan Ernits, Richard Dearden, Miles Pebody, James Guggenheim
Abstract 144 | PDF Downloads 105 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1937
PDF