| |||||||||||||||
DX 2015 : The 26th International Workshop on Principles of Diagnosis | |||||||||||||||
Link: http://dx15.sciencesconf.org/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
Since 1989 this annual international workshop has been uniting researchers and practitioners with diverse backgrounds (artificial intelligence (AI), control theory,
verification, software engineering, debugging, ...) in order to leverage research in the global context of diagnosis, that is, identifying the root causes for encountered issues. The DX Workshop series has been offering a forum to present current research and experience reports, exchange and discuss emerging ideas, as well as debate current issues and envisioned future challenges. Relevant topics are related to fault diagnosis, monitoring, testing, debugging, reconfiguration, fault-adaptive control, fault recovery and repair. In 2015, the 26th DX Workshop will take place in Paris, France from August 31st to September 3rd., co-located with the 9th IFAC Symposium Safeprocess’15. We are looking forward to submissions on any diagnosis-related topic, including papers focusing on the following issues: Formal theories and computation methods for diagnosis, including submissions on fault monitoring, detection and isolation, as well as testing, repair and therapy, reconfiguration, fault tolerance, and diagnosability and predictability analysis. Computational issues in diagnosis, addressing aspects like 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. Models for diagnosis, including discrete, discrete-event, timed, qualitative, continuous, hybrid, probabilistic, behavioral, and functional models, as well as papers on related issues like approximation, abstraction, uncertainty, learning, refinement, and reformulation. Automated approaches to acquire models, improve incomplete models for diagnosis are especially welcome. Diagnosis processes, including submissions on strategies for measurement selection, active diagnosis/testing, sensor placement, embedded diagnosis, preventive diagnosis and fault adaptive control, distributed diagnosis approaches, as well as human interaction with the diagnosis engine and other usability issues. Connections and interplay between AI-based diagnosis methods and research in related areas such as: FDI, control theory, statistics, machine learning, knowledge representation, planning and optimization, autonomous and/or dependable systems, safety, verification, software engineering, debugging, as well as hardware instrumentation and testing. (Real-World) applications of diagnosis, including scenarios in space applications as well as transportation, aeronautics, robotics, manufacturing, energy, networks, services, and medical domains. Case studies concerning a successful or failing technology transfer to a specific application are especially welcome. DX15 accepts two types of papers. Regular research papers must not be longer than eight pages in the double column A4 format provided at the workshop's website. The second type of accepted papers are short papers (four pages max) dealing with the presentation of tools, benchmarks or preliminary works presenting original ideas for diagnosis or non standard diagnosis problems. For tool papers, an interactive electronic presentation of the tool will be mandatory. For benchmark papers, the proposed benchmarks must be freely available to the research community. The main criteria for short papers about new ideas and diagnosis problems will be their originality. Authors are required to submit their papers electronically via the DX15 website. Papers bridging AI based and Control/FDI based diagnosis approaches are welcome and will be put in a special track co-organized with the Safeprocess’15 Symposium. All submissions will be peer-reviewed, and accepted papers will be scheduled for either an oral or a poster presentation. By submitting a paper, the corresponding authors agree that for each accepted paper at least one of its authors has to register and attend the workshop in order to present her/their work. The program committee reserves the right to reject overlong submissions, submissions that violate the guidelines, and submissions in formats other than PDF without review. We are looking forward to receiving your submissions and seeing you at DX'15! The DX15 chairs (Yannick Pencolé, Louise Travé-Massuyès, Philippe Dague) |
|