DCS 2010 - International Workshop on Diagnosis of Complex Systems (DCS-2010)

The 2010 International Workshop on Diagnosis of Complex Systems (DCS 2010) would like to 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.

The goal of the workshop is to encourage the interactions and the exchange of theories, techniques, applications, and experiences amongst researchers and practitioners from different backgrounds: Artificial Intelligence, Control Theory, Systems Engineering, Software 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.

Contributions covering theoretical developments and practical applications, including but not limited to the following technical areas, are invited:

TOPICS:
Formal theories and computational methods for diagnosis, testing, repair and therapy, reconfiguration, fault tolerance, diagnosability analysis.
Modeling for diagnosis that includes symbolic, numeric, discrete, discrete-event, continuous, hybrid, probabilistic, functional, behavioral, qualitative, abstractions, and approximation methods. Effective modeling approaches for large systems are of particular relevance.
Computational issues that address combinatorial explosion, use of structural and hierarchical knowledge, focusing strategies, resource-bounded reasoning, real time analysis, and other related topics.
Diagnosis processes that include strategies for measurement selection, sensor placement, test actions design, active testing, embedded diagnosis systems, preventive diagnosis, fault detection and isolation, fault tolerance strategies, fault-adaptive control, and distributed diagnosis.
Bridge between AI-based diagnosis methods and other diagnosis methodologies: FDI, control-based techniques, statistical and probabilistic methods, design, model checking, machine learning, non-monotonic reasoning, planning, execution, real-time languages, software verification and validation, debugging, and hardware testing.
Real-world applications and integrated systems in a wide range of fields including transportation systems, space and aeronautics, process industries, medical domains, and bioinformatics.
ORGANISING COMMITTEE
Workshop Co-Chairs

Dr. Andrei Doncescu
LAAS CNRS Toulouse France
adoncesc-AT-laas.fr
Dr. M.Nabil Kabbaj
University of Fez Morocco
nkabbaj-AT-gmail.com
Program Committee

Louise Trave-Massuyes, LAAS CNRS, Toulouse, France
Joseph Aguilar Martin, LAAS CNRS, Toulouse, France
Félix Mora-Camino, Ecole Nationale de l'Aviation Civile, Toulouse, France
José Aguilar Castro, University of the Andes, Venezuela
Edgar A. Camargo, University of the Andes, Venezuela
Youssef Nakkabi, University of Victoria, Canada
Jacky Desachy, Université des Antilles et de la Guyane, France
Sebastien Regis, Université des Antilles et de la Guyane, France
Said Hanafi, University of Valenciennes, France
Michael Rogowski, University of Hambourg, Germany
Mohammed Karim, University of Fez, Morocco
Pierre Siegel, Universite de Marseille, France
SUBMISSION GUIDELINES
Authors are invited to submit research and application papers following the IEEE Computer Society Proceedings Manuscripts style: two columns, single-spaced, including figures and references, using 10 fonts, and number each page. You can confirm the IEEE Computer Society Proceedings Author Guidelines at the IEEE formatting web page.

We solicit the submission of academic workshop papers (6 pages) representing original, previously unpublished work. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. The papers should be submitted by email to Andrei Doncescu or to Nabil Kabbaj

Accepted papers will be given guidelines in preparing and submitting the final manuscript(s) together with the notification of acceptance.

IMPORTANT DATES
Submission deadline: April 30, 2010
Author notification: June 30, 2010
Final paper version: July 23, 2010
Author registration: July 31, 2010
Conference/Workshop dates: November 4-6, 2010