DX 2011 - Last Call for Papers
Michael Hofbaur
22nd International Workshop on Principles of Diagnosis
http://dx11.in.tum.de
*** Extended Paper Submission Deadline: June 8th, 2011 ***
The 22nd International Workshop on Principles of Diagnosis (DX-2011)
will be held October 4-7, 2011 in Murnau, Germany.
Workshop Scope
The International Workshop on Principles of Diagnosis (DX) is an annual
event that started in 1989 and is rooted in the Artificial Intelligence
(AI) community. Papers presented at the workshop cover a variety of
theories, principles, and computational techniques for diagnosis,
monitoring, testing, reconfiguration, fault- adaptive control, and
repair of complex systems. Applications of these theories, principles,
and techniques to industry-related disciplines and other real-world
problems are also important topics of the workshop.
Like the previous workshops in this series, DX-2011 encourages the
interactions and the exchange of theories, techniques, applications, and
experiences amongst researchers and practitioners from diverse
backgrounds – Artificial Intelligence, Control Theory, Verification,
Software and Systems Engineering, and other related areas – who share an
interest in different aspects of diagnosis, and the related fields of
testing, reconfiguration, maintenance, prognosis, and fault-adaptive
control.
DX is a lively forum that has traditionally adopted a single track
program with a limited number of participants in order to promote
detailed technical exchange and debate while at the same time making
efforts to develop synergistic approaches to solving real-world problems.
Call for Papers
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 discrete, discrete-event,
qualitative, continuous, hybrid, probabilistic, behavioral and
functional modeling together with abstraction, approximation and
reformulation methods. Effective modeling approaches for large systems
are of particular relevance.
* Computational issues in diagnosis that address combinatorial
explosion, use of structural and hierarchical knowledge, focusing
strategies and heuristics, resource-bounded reasoning, real-time
analysis, precompilation, and other related topics.
* Diagnosis processes that include strategies for measurement selection,
sensor placement, active testing, embedded diagnosis, distributed
diagnosis, preventive diagnosis, fault-adaptive control, and human
interaction with diagnostic systems.
* Connections and interplay between (AI-based) diagnosis methods and
related areas: FDI, control theory, statistics, machine learning,
knowledge representation, planning and optimization, autonomous systems,
safety, verification, software engineering and debugging, and hardware
instrumentation and testing.
* Real-world applications and integrated systems in a wide range of
fields including transportation, space and aeronautics, robotics,
manufacturing, energy, networks and services, and medical domains. Case
studies of tech transfer that resulted in success or failure are
especially welcome.
Special Track on Open Problem Descriptions
In addition this year, we open a special track for papers describing
open problems related to diagnosis:
* Descriptions of open theoretical and modeling problems, without the
requirement to propose possible solutions. In particular, members of
the DX community are encouraged to contribute to this track by
identifying challenges that they think should be on the community’s
research agenda.
* Descriptions of open practical problems, possibly accompanied by
appropriate datasets accessible on the web, also without the requirement
to discuss possible solutions. In particular, industrialists are
invited to influence the DX community’s research agenda by contributing
their relevant problems.
Short, clear, and crisp descriptions are preferred, thus a maximum of 4
pages applies. Papers in this track will be reviewed based on the
importance of the problem for the DX community, and its significance for
real-world problem solving. Accepted papers will be included in the
proceedings, and the authors will give presentations in short talks or
during a poster session.
Paper Format and Submission
Papers must be submitted as PDF and should be formatted using the LaTeX
or Word templates provided on the workshop website
http://dx11.in.tum.de. Regular papers should not exceed 8 pages in
length, and papers for the Special Track on Open Problem Descriptions
should not exceed 4 pages in length.
Submission of papers is online via the EasyChair system at
https://www.easychair.org/conferences/?conf=dx2011.
For information about the related Third International Diagnostic
Competition (DXC-2011), see the webpage http://dx-competition.org/.
Contact
If you have questions about DX-2011, send an email to the organizers at
dx2...@easychair.org. If you would like to receive information regarding
current and future DX workshops, please join the DX Workshop Google
Group at http://groups.google.com/group/dx-workshop.
Workshop Program Chairs
Oskar Dressler, OCC’M Software GmbH, Germany
Michael Hofbaur, UMIT Hall in Tyrol, Austria
Martin Sachenbacher, TU München, Germany
Workshop Program Committee
Rui Abreu, University of Porto, Portugal
Emmanuel Arbaretier, EADS, France
Andreas Bauer, Australian National University/NICTA, Australia
Gautam Biswas, Vanderbilt University, USA
Luca Console, University of Torino, Italy
Marie-Odile Cordier, University of Rennes/IRISA, France
Philippe Dague, University of Paris South, France
Johan de Kleer, PARC, USA
Richard Dearden, University of Birmingham, United Kingdom
Teresa Escobet, Universitat Politecnica de Catalunya, Spain
Alexander Feldman, HEIG-VD, Switzerland
Erik Frisk, Linköping University, Sweden
Arjan van Gemund, Delft University of Technology, Netherlands
Alban Grastien, NICTA and Australian National University, Australia
Meir Kalech, Ben-Gurion University of the Negev, Israel
Jan Eric Larsson, GoalArt/Lund University, Sweden
Martin Leucker, University of Lübeck, Germany
Wolfgang Mayer, University of South Australia, Australia
Pieter Mosterman, The MathWorks/McGill University, USA
Sriram Narasimhan, UC Santa Cruz/NASA, USA
Mattias Nyberg, Scania/Linköping University, Sweden
Charles Pecheur, University of Louvain, Belgium
Scott Poll, NASA Ames, USA
Gregory Provan, University College Cork, Ireland
Belarmino Pulido, University de Valladolid, Spain
Anika Schumann, IBM Research, Ireland
Peter Struss, TU München/OCC’M Software GmbH, Germany
Markus Stumptner, University of South Australia, Australia
Sylvie Thiebaux, Australian National University/NICTA, Australia
Louise Trave-Massuyes, LAAS-CNRS, France
Gianluca Torta, University of Torino, Italy
Brian Westhead, Teradyne Diagnostic Solutions Ltd, UK
Franz Wotawa, Graz University of Technology, Austria
Marina Zanella, University of Brescia, Italy
Rong Zhou, PARC, USA