DCS 2013 - The 4th International Workshop on Diagnosis of Complex Systems (DCS-2013)

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.