| |||||||||||||||
DX 2023 : 34th International Workshop on Principles of Diagnosis | |||||||||||||||
Link: https://dx-2023.ist.tugraz.at/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
Since 1989, the annual DX Workshop brings together researchers and practitioners from diverse backgrounds to discuss the latest progress on diagnosis in the international community. Diagnosis is the identification of root cause(s) for some encountered malfunction(s). The DX workshop is a forum to present state-of-the-art research and experience reports, exchange and discuss emerging ideas, as well as debate current issues and envisioned future challenges. Relevant topics are related (but not limited) to fault diagnosis, monitoring, testing, debugging, verification, reconfiguration, fault-adaptive control, and repair.
The 34th International Workshop on Principles of Diagnosis (DX'23) will take place in the Santa Cruz Mountains community of Loma Mar, CA, USA, from September 11th to 14th, 2023. We welcome submissions on any diagnosis-related topic, including the following ones: * Formal theories and computation methods for diagnosis, including fault monitoring, detection and isolation, as well as testing, repair and therapy, reconfiguration, fault tolerance, and diagnosability analysis. * Models for diagnosis, including discrete, discrete-event, qualitative, continuous, hybrid, probabilistic, behavioral, and functional models, as well as models resulting from approximation, abstraction, refinement, and reformulation approaches. Modeling approaches that scale to large systems are of specific interest. * Diagnosis processes, including strategies for measurement selection, active diagnosis/testing, sensor placement, embedded diagnosis, preventive diagnosis, fault adaptive control, distributed diagnosis, as well as human interaction with the diagnosis engine and other usability issues. * Computational issues in diagnosis, addressing combinatorial (and state) explosion, the exploitation of structural and hierarchical knowledge, focusing strategies and heuristics, resource-bounded reasoning, requirements and restrictions related to real-time environments, and pre-compilation. * Connections and interplay between (AI-based) diagnosis methods and methods from related areas or tasks such as: FDI, control theory, statistics, machine learning, knowledge representation, planning, optimization, autonomous systems, safety, verification, software engineering, debugging, as well as hardware instrumentation and testing. * (Real-world) applications of diagnosis, including scenarios in space, transportation, aeronautics, robotics, manufacturing, energy, networks and services, as well as medical domains. Case studies concerning a (successful or failed) technology transfer to a specific application are especially welcome. We would like to specifically encourage submissions on our special topic focusing on resilient system design and the role of diagnosis in achieving resilience. This year authors can choose whether their accepted submission will be published in official, archival proceedings (otherwise only a 300 words abstract will be included). This choice will not influence acceptance. Papers recently published at major conferences (notably AAAI, IJCAI, ECAI, ...) can be submitted for presentation at DX and shall be submitted in their original format. While these papers will not be included in the proceedings, a 300 word abstract will be added. All PhD students working on diagnosis-related topics are encouraged to submit a description of their research/thesis of up to five pages to be considered for presentation at a special PhD panel. The accepted entries will be included in the proceedings in a special section. Stay tuned for further announcements on this track! Submissions must not be longer than 8 pages (excluding references, 5 pages for PhD panel submissions) in the double column A4 format provided at the workshop website. Authors are required to submit their papers and PhD panel entries electronically via EasyChair as PDF files. All submissions will be peer-reviewed, and accepted papers will be scheduled for either an oral or a poster presentation (a panel and/or poster presentation for accepted PhD panel submissions). By submitting a paper, all authors agree that for each accepted paper at least one of the authors will attend the workshop in person. The program committee reserves the right to reject without review overlong submissions, submissions that violate the guidelines offered on the website, and submissions in formats other than PDF. We are looking forward to receiving your submissions and seeing you at DX'23! |
|