DX'17:BibTeX Entries

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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.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, http://www.easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/h3Sw},
  doi       = {10.29007/1lp8}}