First Call For Papers: DX2012

53 views
Skip to first unread message

Richard Dearden

unread,
May 4, 2012, 7:32:12 PM5/4/12
to dx-workshop, r...@cs.bham.ac.uk
Sorry for the delay in getting this out. I've been literally swamped
ever since I got back from vacation. I'll follow up with a more
detailed CFP very shortly, but wanted to get this one out without
further delay. The website should go live early next week.

1st Call for Papers: 23rd International Workshop on Principles of
Diagnosis

The 23rd International Workshop on Principles of Diagnosis (DX-2011)
will be held July 31 to August 3, 2012 in Great Malvern, U.K., and is
jointly
hosted by The University of Birmingham and the University of
Aberystwyth. More information can be found on the workshop website
http://www.cs.bham.ac.uk/~rwd/dx2012.

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-2012 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 will see the second 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.

Important Dates

Submissions Due: June 5, 2012
Publication Decisions: July 9, 2012
Camera-ready Copy Due: July 17, 2012
Conference: July 31 - Aug 3, 2012

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:// 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.

Contact

If you have questions about DX-2012, send an email to the organizers
at
R.W.D...@cs.bham.ac.uk. 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 Chair

Richard Dearden, University of Birmingham, U.K.

Xiaoyu Wang

unread,
May 8, 2012, 10:40:12 PM5/8/12
to dx-workshop
I have visited the page of workshop, but did not found the
registration. Am I late for the registration ?

On 5月5日, 上午7时32分, Richard Dearden <richard.dear...@gmail.com> wrote:
> Sorry for the delay in getting this out. I've been literally swamped
> ever since I got back from vacation. I'll follow up with a more
> detailed CFP very shortly, but wanted to get this one out without
> further delay. The website should go live early next week.
>
> 1st Call for Papers: 23rd International Workshop on Principles of
> Diagnosis
>
> The 23rd International Workshop on Principles of Diagnosis (DX-2011)
> will be held July 31 to August 3, 2012 in Great Malvern, U.K., and is
> jointly
> hosted by The University of Birmingham and the University of
> Aberystwyth. More information can be found on the workshop websitehttp://www.cs.bham.ac.uk/~rwd/dx2012.
>
> 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-2012 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
> R.W.Dear...@cs.bham.ac.uk. If you would like to receive information
> regarding
> current and future DX workshops, please join the DX Workshop Google
> Group athttp://groups.google.com/group/dx-workshop.
Reply all
Reply to author
Forward
0 new messages