• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 2017
• 
  Carlos J. Alonso-González, Aníbal Bregón, Belarmino Pulido, Matías A. Nacusse, Sergio J. Junco:
  Autonomous vehicle traction subsystem modeling and diagnosis using BG-PCs. DX 2017: 94-109
• 
  Abderraouf Boussif, Baisi Liu, Mohamed Ghazel:
  An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. DX 2017: 52-64
• 
  Marcos Luiz de Paula Bueno, Arjen Hommersom, Peter J. F. Lucas:
  An improved diagnostic method for probabilistic consistency-based diagnosis. DX 2017: 65-77
• 
  Cody James Christopher, Yannick Pencolé, Alban Grastien:
  Inference of fault signatures of discrete-event systems from event logs. DX 2017: 219-233
• 
  Gabriella Fiore:
  Secure state estimation for Cyber-Physical Systems. DX 2017: 12-20
• 
  Florian Grigoleit, Sebastian Holei, Andreas Pleuss, Robert Reiser, Julian Rhein, Peter Struss, Jana von Wedel:
  The qSafe Project - Developing a Tool for Current Practice in Functional Safety Analysis. DX 2017: 297-312
• 
  Hamed Khorasgani, Gautam Biswas:
  A combined model-based and data-driven approach for monitoring smart buildings. DX 2017: 21-36
• 
  Ahmed Khoumsi:
  Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture. DX 2017: 144-158
• 
  Johan de Kleer, Matthew Klenk, Alexander Feldman:
  Diagnosing Alternative Facts. DX 2017: 159-168
• 
  Tom Obry:
  A Learning Algorithm for Episodes. DX 2017: 1-11
• 
  Yannick Pencolé, Audine Subias:
  Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking. DX 2017: 184-199
• 
  Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès:
  Diagnosing Discrete Event Systems Using Nominal Models Only. DX 2017: 169-183
• 
  Ingo Pill, Franz Wotawa:
  Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. DX 2017: 248-263
• 
  Gregory M. Provan:
  An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems. DX 2017: 37-51
• 
  Xavier Pucel, Stéphanie Roussel:
  Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis. DX 2017: 234-247
• 
  Patrick Rodler:
  On Active Learning Strategies for Sequential Diagnosis. DX 2017: 264-283
• 
  Patrick Rodler, Konstantin Schekotihin:
  Reducing Model-Based Diagnosis to Knowledge Base Debugging. DX 2017: 284-296
• 
  Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin:
  Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis. DX 2017: 200-218
• 
  Yves Sohege, Gregory M. Provan:
  Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control. DX 2017: 110-123
• 
  Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois:
  Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. DX 2017: 124-143
• 
  Marina Zanella:
  Asymmetric Diagnosability Analysis of Discrete-Event Systems. DX 2017: 78-93
• 
  Marina Zanella, Ingo Pill, Alessandro Cimatti:
  28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Kalpa Publications in Computing 4, EasyChair 2017 [contents]