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 156 | PDF Downloads 148 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1938
PDF

Decentralized Fault Detection and Isolation of Manufacturing Systems

M. Sayed Mouchaweh
Abstract 155 | PDF Downloads 151 | 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 282 | | 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 187 | PDF Downloads 178 | 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 336 | PDF Downloads 162 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1941
PDF

A Framework for Integrating Requirements-Based Design and Diagnosis

Gregory Provan
Abstract 174 | PDF Downloads 201 | 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 151 | PDF Downloads 163 | 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 164 | PDF Downloads 179 | 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 170 | PDF Downloads 162 | 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 482 | PDF Downloads 158 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1946
PDF

Reformulation for the Diagnosis of Discrete-Event Systems

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

A Diagnosis Algorithm for Inconsistent Constraint Sets

Alexander Felfernig , Monika Schubert
Abstract 166 | PDF Downloads 187 | 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 188 | PDF Downloads 184 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1949
PDF

Distributed Consistency-Based Diagnosis without Behavior

Gianfranco Lamperti , Marina Zanella
Abstract 179 | PDF Downloads 172 | 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 517 | PDF Downloads 194 | 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 152 | PDF Downloads 175 | 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 230 | PDF Downloads 192 | 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 151 | PDF Downloads 162 | 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 325 | PDF Downloads 184 | 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 137 | PDF Downloads 132 | 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 183 | PDF Downloads 152 | 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 166 | PDF Downloads 142 | 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 326 | PDF Downloads 224 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1916
PDF

Injecting Semantics into Diagnosis of Discrete-Event Systems

Gianfranco Lamperti, Marina Zanella
Abstract 165 | PDF Downloads 137 | 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 163 | PDF Downloads 161 | 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 430 | PDF Downloads 229 | 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 203 | PDF Downloads 156 | 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 126 | PDF Downloads 151 | 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 129 | PDF Downloads 145 | 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 203 | PDF Downloads 175 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1925
PDF

Remote Diagnosis of Timed I/O-Automata

Thorsten Schlage, Jan Lunze
Abstract 125 | PDF Downloads 144 | 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 143 | PDF Downloads 154 | 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 111 | PDF Downloads 126 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1928
PDF

MBD Techniques for Internet Delay Diagnosis

Roni Stern, Meir Kalech
Abstract 145 | PDF Downloads 108 | 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 161 | PDF Downloads 135 | 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 123 | PDF Downloads 146 | 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 364 | PDF Downloads 114 | 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 293 | PDF Downloads 198 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1934
PDF

Role-Based Diagnosis for Distributed Vehicle Functions

Jens Kohl, Andreas Bauer
Abstract 239 | PDF Downloads 145 | 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 1803 | PDF Downloads 260 | 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 199 | PDF Downloads 158 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1937
PDF