Call for Papers

The full call for papers in pdf format can be downloaded here.

Scope

We welcome papers on topics that are related, but not limited to, the following:

  • Formal theories and computational methods for diagnosis, that include monitoring, detection and isolation, testing, repair and therapy, reconfiguration, fault tolerance, diagnosability analysis, and other related topics.
  • Modeling for diagnosis that includes symbolic, numeric, discrete, discrete-event, continuous, hybrid, probabilistic, functional, behavioral, qualitative, abstractions, and approximation methods. Effective modeling approaches for large systems are of particular relevance.
  • Computational issues that address combinatorial explosion, use of structural and hierarchical knowledge, focusing strategies, resource-bounded reasoning, real time analysis, and other related topics.
  • Diagnosis processes that include strategies for measurement selection, sensor placement, test actions design, active testing, embedded diagnosis systems, preventive diagnosis, fault tolerance strategies, fault-adaptive control, and distributed diagnosis.
  • Bridge between DX (AI-based diagnosis methods) and other diagnosis methodologies: FDI, control-based techniques, statistical and probabilistic methods, design, model checking, machine learning, non-monotonic reasoning, planning, execution, real-time languages, software verification and validation, debugging, and hardware testing.
  • Real-world applications and integrated systems in a wide range of fields including transportation systems, space and aeronautics, process industries, medical domains, and bioinformatics. Case studies of tech transfer that resulted in success or failure are especially welcome.

Paper Formats and Submission

We are organizing DX under the auspices of PHM Society. The due date for paper submission is June 15th (after the PHM deadline). Please visit the paper submission page for word and latex templates as well as the instructions on how to submit papers.