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},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762}}
Papers
@inproceedings{DX'17:Learning_Algorithm_for_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},
pages = {1--11},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/1vkG},
doi = {10.29007/j9d9}}
@inproceedings{DX'17:Secure_state_estimation_for,
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},
pages = {12--20},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/Mfmj},
doi = {10.29007/z1sj}}
@inproceedings{DX'17:combined_model_based_and_data_driven,
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},
pages = {21--36},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/cWm2},
doi = {10.29007/g44l}}
@inproceedings{DX'17:An_Algebraic_Approach_for,
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},
pages = {37--51},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/9Nth},
doi = {10.29007/n87m}}
@inproceedings{DX'17:An_Experimental_Comparison_of,
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},
pages = {52--64},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/GnBn},
doi = {10.29007/vwc9}}
@inproceedings{DX'17:An_improved_diagnostic_method,
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},
pages = {65--77},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/pD6D},
doi = {10.29007/4t6n}}
@inproceedings{DX'17:Asymmetric_Diagnosability_Analysis_of,
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},
pages = {78--93},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/7kVk},
doi = {10.29007/6lc2}}
@inproceedings{DX'17:Autonomous_vehicle_traction_subsystem,
author = {Carlos Alonso-Gonz\textbackslash{}'alez and Anibal Bregon and Belarmino Pulido and Mat\textbackslash{}'ias 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},
pages = {94--109},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/dNM7},
doi = {10.29007/qj7v}}
@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},
pages = {110--123},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/B8Jz},
doi = {10.29007/4rvz}}
@inproceedings{DX'17:Counterexample_Guided_Abstraction_Refinement_for_Hybrid,
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},
pages = {124--143},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/wthm},
doi = {10.29007/t8n3}}
@inproceedings{DX'17:Decentralized_Diagnosis_of_Discrete,
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},
pages = {144--158},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/XmxS},
doi = {10.29007/k5c7}}
@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},
pages = {159--168},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/rnKw},
doi = {10.29007/fkwg}}
@inproceedings{DX'17:Diagnosing_Discrete_Event_Systems,
author = {Yannick Pencol\textbackslash{}'e and Gerald Steinbauer and Clemens M\textbackslash{}"uhlbacher and Louise Trav\textbackslash{}'e-Massuy\textbackslash{}`es},
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},
pages = {169--183},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/QG1z},
doi = {10.29007/1d2x}}
@inproceedings{DX'17:Diagnosis_of_supervision_patterns,
author = {Yannick Pencol\textbackslash{}'e 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},
pages = {184--199},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/n2NN},
doi = {10.29007/4s4n}}
@inproceedings{DX'17:Inexpensive_Cost_Optimized_Measurement_Proposal,
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},
pages = {200--218},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/HhPf},
doi = {10.29007/vd18}}
@inproceedings{DX'17:Inference_of_fault_signatures,
author = {Cody Christopher and Yannick Pencol\textbackslash{}'e 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},
pages = {219--233},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/wj4W},
doi = {10.29007/qmpw}}
@inproceedings{DX'17:Intermittent_Fault_Diagnosis_as,
author = {Xavier Pucel and St\textbackslash{}'ephanie 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},
pages = {234--247},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/ncvC},
doi = {10.29007/tpdv}}
@inproceedings{DX'17:Model_Based_Diagnosis_Meets_Combinatorial,
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},
pages = {248--263},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/7t86},
doi = {10.29007/svc7}}
@inproceedings{DX'17:On_Active_Learning_Strategies,
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},
pages = {264--283},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/zHgj},
doi = {10.29007/wpk8}}
@inproceedings{DX'17:Reducing_Model_Based_Diagnosis_to,
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},
pages = {284--296},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/3g9Q},
doi = {10.29007/p7zp}}
@inproceedings{DX'17:qSafe_Project_Developing,
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},
pages = {297--312},
year = {2018},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/h3Sw},
doi = {10.29007/1lp8}}