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

Website http://www.lsi.upc.edu/~net4all/BWCCA-2010/ | Edit Freely

Category DCS 2010

Deadline: May 20, 2010 | Date: November 04, 2010

Venue/Country: Fukuoka, Japan

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

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

adoncesclaas.fr

Dr. M.Nabil Kabbaj

University of Fez Morocco

nkabbajgmail.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