21st Annual Workshop Proceedings
ISBN: 978-1-936263-02-8
Oral: Full Papers
A Component-Based Framework for Integrating Design and Diagnosis
Gregory Provan
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
A Diagnosis Algorithm for Inconsistent Constraint Sets
Alexander Felfernig, Monika Schubert
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
A Structural Algorithm for Finding Testable Sub-models and Multiple Fault Isolability Analysis
Mattias Krysander, Jan Åslund, Erik Frisk
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
An Event-based Approach to Distributed Diagnosis of Continuous Systems
Matthew Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Decentralized Fault Detection and Isolation of Manufacturing Systems
Moamar Sayed-Mouchaweh
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Diagnosability Analysis Considering Causal Interpretations for Differential Constraints
Erik Frisk, Anibal Bregon, Jan Åslund, Mattias Krysander, Belarmino Pulido, Gautam Biswas
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Diagnosing Intermittent and Persistent Faults using Static Bayesian Networks
Brian Ricks, Ole Mengshoel
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Diagnosing Process Trajectories Under Partially Known Behavior
Gerhard Friedrich, Wolfgang Mayer, Markus Stumptner
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Diagnosis as Planning Revisited
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Distributed Consistency-Based Diagnosis without Behavior
Gianfranco Lamperti, Marina Zanella
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Efficient Optimal Sensor Placement for Structural Model Based Diagnosis
Albert Rosich, Abed Alrahim Yassine, Stéphane Ploix
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Factoring Dynamic Bayesian Networks using Possible Conflicts
Carlos J. Alonso-Gonzalez, Noemi Moya, Gautam Biswas
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Generalizing diagnosability definition and checking for open systems: a Game structure approach
Tarek Melliti, Philippe Dague
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
On non-invertibilities for Structural Analysis
Vincent de Flaugergues, Vincent Cocquempot, Mireille Bayart, Marco Pengov
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Overcoming Non-Discernibility through Mode-Sequence Analytic Redundancy Relations in Hybrid Diagnosis and Estimation
Michael W. Hofbaur, Louise Travé-Massuyès, Theresa Rienmüller, Mehdi Bayoudh
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Reformulation for the Diagnosis of Discrete-Event Systems
Alban Grastien, Gianluca Torta
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Poster: Paper
A Decentralized Service Based Architecture for Design and Modeling of Fault Tolerant Control Systems
Mattias Nyberg, Carl Svärd
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Combining Model-Based and Feature-Driven Diagnosis Approaches – A Case Study on Electromechanical Actuators
Sriram Narasimhan, Indranil Roychoudhury, Edward Balaban, Abhinav Saxena
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Computing Energy-Optimal Tests using DNNF Graphs
Anika Schumann, Martin Sachenbacher
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
Diana Borrego, Rafael M. Gasca, María T. Gómez-López, Luisa Parody
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Defining and exploring properties in diagnostic systems
Nuno Belard, Yannick Pencolé, Michel Combacau
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Diagnosability for Patterns in Distributed Discrete Event Systems
Yuhong Yan, Lina Ye, Philippe Dague
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Diagnosis of Autosub 6000 using Automatically Generated Software Models
Juhan Ernits, Richard Dearden, Miles Pebody, James Guggenheim
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults
Lukas Kuhn, Johan de Kleer
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Efficient Drive-Based Analysis of Fault Detection Measures in Safety-Related Pneumatic Systems
Andreas Barner, Jan Bredau, Frank Schiller
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Event-driven Data Mining Techniques for Automotive Fault Diagnosis
Chaitanya Sankavaram, Anuradha Kodali, Diego Fernando Martinez Ayala, Krishna Pattipati, Satnam Singh, Pulak Bandyopadhyay
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Fault diagnosis in databases for business processes
Maria Teresa Gomez-Lopez, Rafael M. Gasca
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Injecting semantics into diagnosis of discrete-event systems
Gianfranco Lamperti, Marina Zanella
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Large-scale signal reconstruction for sensor monitoring and diagnostics in nuclear power plants
Giulio Gola, Davide Roverso, Mario Hoffmann
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
MBD Techniques for Internet Delay Diagnosis
Roni Stern, Meir Kalech
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
On the Way to Automated Belief Repair for Autonomous Robots
Gerald Steinbauer, Franz Wotawa
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes
A. J. Varela- Vaca, Rafael M. Gasca, L. Parody
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Remote Diagnosis of Timed I/O-Automata
Thorsten Schlage, Jan Lunze
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Role-Based Diagnosis for Distributed Vehicle Functions
Jens Kohl, Andreas Bauer
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Self-adapting Strategies guided by Diagnosis and Situation Assessment in Collaborative Communicating Systems
Audine SUBIAS, Ernesto EXPOSITO, Christophe CHASSOT, Louise Travé-Massuyès, Khalil DRIRA
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa
Alexander Feldman, Gregory Provan, Johan de Kleer, Stephan Robert, Arjan van Gemund
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Solving the ADAPT Benchmark Problem - A Student Project Study
Erik Almqvist, Daniel Eriksson, Andreas Lundberg, Emil Nilsson, Erik Frisk, Mattias Krysander
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Structural Observability. Application to decompose a System with Possible Conflicts
Noemi Moya, Gautam Biswas, Carlos J. Alonso-Gonzalez, Xenofon Koutsoukos
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
Synthesis of a distributed and accurate diagnoser
Priscilla Kan John, Alban Grastien, Yannick Pencolé
21st International Workshop on the Principles of Diagnosis
abstract
|
pdf
