Volume
@proceedings{DX'17,
title = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
year = {2018}}
Papers
@inproceedings{DX'17:Learning_Algorithm_Episodes,
author = {Tom Obry},
title = {A Learning Algorithm for Episodes},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/1vkG},
doi = {10.29007/j9d9},
pages = {1-11},
year = {2018}}
@inproceedings{DX'17:Secure_state_estimation_Cyber,
author = {Gabriella Fiore},
title = {Secure state estimation for Cyber-Physical Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/Mfmj},
doi = {10.29007/z1sj},
pages = {12-20},
year = {2018}}
@inproceedings{DX'17:combined_model_based_data,
author = {Hamed Khorasgani and Gautam Biswas},
title = {A combined model-based and data-driven approach for monitoring smart buildings},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/cWm2},
doi = {10.29007/g44l},
pages = {21-36},
year = {2018}}
@inproceedings{DX'17:Algebraic_Approach_Diagnosing_Discrete,
author = {Gregory Provan},
title = {An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/9Nth},
doi = {10.29007/n87m},
pages = {37-51},
year = {2018}}
@inproceedings{DX'17:Experimental_Comparison_Three_Diagnosis,
author = {Abderraouf Boussif and Baisi Liu and Mohamed Ghazel},
title = {An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/GnBn},
doi = {10.29007/vwc9},
pages = {52-64},
year = {2018}}
@inproceedings{DX'17:improved_diagnostic_method_probabilistic,
author = {Marcos Luiz de Paula Bueno and Arjen Hommersom and Peter Lucas},
title = {An improved diagnostic method for probabilistic consistency-based diagnosis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/pD6D},
doi = {10.29007/4t6n},
pages = {65-77},
year = {2018}}
@inproceedings{DX'17:Asymmetric_Diagnosability_Analysis_Discrete,
author = {Marina Zanella},
title = {Asymmetric Diagnosability Analysis of Discrete-Event Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/7kVk},
doi = {10.29007/6lc2},
pages = {78-93},
year = {2018}}
@inproceedings{DX'17:Autonomous_vehicle_traction_subsystem,
author = {Carlos Alonso-González and Anibal Bregon and Belarmino Pulido and Matías Nacusse and Sergio Junco},
title = {Autonomous vehicle traction subsystem modeling and diagnosis using BG-PCs},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/dNM7},
doi = {10.29007/qj7v},
pages = {94-109},
year = {2018}}
@inproceedings{DX'17:Comparing_Switching_vs._Mixing,
author = {Yves Sohege and Gregory Provan},
title = {Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/B8Jz},
doi = {10.29007/4rvz},
pages = {110-123},
year = {2018}}
@inproceedings{DX'17:Counterexample_Guided_Abstraction_Refinement,
author = {Hadi Zaatiti and Lina Ye and Philippe Dague and Jean-Pierre Gallois},
title = {Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/wthm},
doi = {10.29007/t8n3},
pages = {124-143},
year = {2018}}
@inproceedings{DX'17:Decentralized_Diagnosis_Discrete_Event,
author = {Ahmed Khoumsi},
title = {Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/XmxS},
doi = {10.29007/k5c7},
pages = {144-158},
year = {2018}}
@inproceedings{DX'17:Diagnosing_Alternative_Facts,
author = {Johan de Kleer and Matthew Klenk and Alexander Feldman},
title = {Diagnosing Alternative Facts},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/rnKw},
doi = {10.29007/fkwg},
pages = {159-168},
year = {2018}}
@inproceedings{DX'17:Diagnosing_Discrete_Event_Systems,
author = {Yannick Pencolé and Gerald Steinbauer and Clemens Mühlbacher and Louise Travé-Massuyès},
title = {Diagnosing Discrete Event Systems Using Nominal Models Only},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/QG1z},
doi = {10.29007/1d2x},
pages = {169-183},
year = {2018}}
@inproceedings{DX'17:Diagnosis_supervision_patterns_bounded,
author = {Yannick Pencolé and Audine Subias},
title = {Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/n2NN},
doi = {10.29007/4s4n},
pages = {184-199},
year = {2018}}
@inproceedings{DX'17:Inexpensive_Cost_Optimized_Measurement,
author = {Patrick Rodler and Wolfgang Schmid and Konstantin Schekotihin},
title = {Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/HhPf},
doi = {10.29007/vd18},
pages = {200-218},
year = {2018}}
@inproceedings{DX'17:Inference_fault_signatures_discrete,
author = {Cody Christopher and Yannick Pencolé and Alban Grastien},
title = {Inference of fault signatures of discrete-event systems from event logs},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/wj4W},
doi = {10.29007/qmpw},
pages = {219-233},
year = {2018}}
@inproceedings{DX'17:Intermittent_Fault_Diagnosis_as,
author = {Xavier Pucel and Stéphanie Roussel},
title = {Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/ncvC},
doi = {10.29007/tpdv},
pages = {234-247},
year = {2018}}
@inproceedings{DX'17:Model_Based_Diagnosis_Meets,
author = {Ingo Pill and Franz Wotawa},
title = {Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/7t86},
doi = {10.29007/svc7},
pages = {248-263},
year = {2018}}
@inproceedings{DX'17:Active_Learning_Strategies_Sequential,
author = {Patrick Rodler},
title = {On Active Learning Strategies for Sequential Diagnosis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/zHgj},
doi = {10.29007/wpk8},
pages = {264-283},
year = {2018}}
@inproceedings{DX'17:Reducing_Model_Based_Diagnosis,
author = {Patrick Rodler and Konstantin Schekotihin},
title = {Reducing Model-Based Diagnosis to Knowledge Base Debugging},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/3g9Q},
doi = {10.29007/p7zp},
pages = {284-296},
year = {2018}}
@inproceedings{DX'17:qSafe_Project_Developing_Tool,
author = {Florian Grigoleit and Sebastian Holei and Andreas Pleuss and Robert Reiser and Julian Rhein and Peter Struss and Jana von Wedel},
title = {The qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/h3Sw},
doi = {10.29007/1lp8},
pages = {297-312},
year = {2018}}
