Workshop Program Co-chairs
Markus Stumptner
University of South Australia
Advanced Computing Research Center
5095 Mawson Lakes, Adelaide,
SA, Australia
mst@cs.unisa.edu.au
Franz Wotawa
Technische Universität
Graz
IICM - Institut for
Software Technology
Inffeldgasse 16b/II, A-8010
Graz, Austria
wotawa@ist.tu-graz.ac.at
Program Committee
Bert Bredeweg (University
of Amsterdam, Netherlands)
Marie-Odile Cordier (Irisa,
France)
Mireille Ducasse (Irisa,France)
Daniele Theseider Dupre'
(Univ. Piemonte Orientale, Italy)
Yousri El Fattah
(Rockwell, USA)
Jan Lunze
(Ruhr-Universität Bochum, Germany)
Pieter J. Mosterman (The
MathWorks Inc., USA)
Chris Price (University of
Wales, UK)
Bernhard Rinner (TU Graz, Austria)
Meera Sampath (Xerox, USA)
Howard E. Shrobe (MIT, USA)
Peter Struss (Occ'm
Software and TU München, Germany)
Patrick Taillibert (Thales, France)
Mugur Tatar (DaimlerChrysler, Germany)
Takashi Washio (Osaka
University, Japan)
Marina Zanella (Universita'
di Brescia, Italy)
Feng Zhao (Xerox PARC,
USA)
Important Dates
Abstract submission: February
1, 2002
Paper submission: February
7, 2002
Acceptance notification:
March 15, 2002
Camera-ready copy due: April
2, 2002
Workshop: May 2-4, 2002
|
Preliminary CFP
13th International Workshop on Principles of Diagnosis (DX-02)
2-4 May, 2002 Semmering, Austria
This international
workshop series, originating within the Artificial Intelligence
community, focuses on theories, principles and computational
techniques for diagnosis, testing, reconfiguration and repair of
complex systems. Complex systems can be large hardware systems,
continuous, discrete, or hybrid systems, but also programs and a
combination of all. The workshop also focuses on transfer of these
theories, principles and techniques to industrial applications of
diagnostic problem solving. This lively annual forum fosters
interaction and cooperation among researchers with diverse interests
and approaches to diagnosis in Artificial Intelligence, such as
model-based and qualitative reasoning, as well as in related areas,
such as FDI, control, and software debugging. The workshop has
traditionally adopted a single-track program, and limited the number
of participants to support technical exchange and debate. This year
we are especially interested in demonstrations of diagnosis
applications and prototypes of diagnosis engines together with runtime
performance analysis and comparisons to other implementations.
We solicit papers in a
variety of areas related to diagnostic problem solving, including but
not limited to:
-
Formal theories of and
computational methods for diagnosis, monitoring, testing, repair,
reconfiguration and related topics.
-
Modeling: symbolic,
numeric, discrete, continuous, hybrid discrete/continuous,
probabilistic, functional, behavioral, and qualitative modeling, as
well as abstractions and approximations.
-
Computational issues:
controlling combinatorial explosion, focusing strategies, limiting
computation for complex systems, use of structural knowledge, use of
hierarchical knowledge, abstraction and approximation
techniques.
-
The diagnosis process:
repair strategies, sensor placement, test selection, resource-bounded
reasoning, real-time diagnosis, on-board autonomous operation, active
testing, experiment design, predictive diagnosis, contingency
planning.
-
Connections between
diagnosis and other areas: FDI techniques, control theory, design,
machine learning, nonmonotonic reasoning, planning, execution,
Bayesian reasoning, Markov modeling, real time languages, software
V&V, debugging, synthesis, hardware testing, philosophical issues on
diagnosis and modeling.
-
Principled applications and
technology transfer: real-world applications and integrated systems in
a wide range of fields including medical, chemical, mechanical,
electrical, electro-mechanical and electronics systems. We especially
welcome insights on whether and why a specific technique succeeded (or
failed) in a realworld context.
Submission Information
Papers must not exceed 5000
words, including references and abstract. The text should be in 12
point type with a minimum of 1-inch margins on both sides. Final
papers must be submitted in IJCAI format. Workshop notes will only be
distributed to participants to facilitate resubmission of papers to
conferences or journals.
Authors must submit
their paper's title and abstract via email to dx2002@dbai.tuwien.ac.at by
February 1, 2002. A postscript or pdf file of the full paper should
then be emailed to dx2002@dbai.tuwien.ac.at by
February 7, 2002. Although postscript submissions are preferred,
authors may send hardcopies of their papers to Franz Wotawa at the
address below; 4 copies of each paper must be received by February 7,
2002.
Please include postal
addresses, electronic mail, fax, and telephone numbers on the cover
page of all papers. Authors will be notified of acceptance or
rejection by March 15, 2002. Accepted papers should be revised
to accommodate the referee comments before final submission for
inclusion in the workshop working notes. Camera-ready copies of
the final paper are due by April 2, 2002.
For those who wish to
attend the Workshop without submitting a paper, please email a short
abstract describing your research interests to dx2002@dbai.tuwien.ac.at by
February 7, 2002. Invitations will be mailed out by March 15, 2002.
To promote active discussion at the workshop, attendance will be by
invitation only.
|