posted by user: madeira || 7357 views || tracked by 20 users: [display]

DCDS 2011 : 3rd International Workshop on Dependable Control of Discrete Systems


When Jun 15, 2011 - Jun 17, 2011
Where Saarbrücken, Germany
Submission Deadline Jan 18, 2011
Notification Due Mar 12, 2011
Final Version Due Apr 12, 2011
Categories    control   dependability   discrete event systems   formal methods

Call For Papers

The aim of the workshop is to provide the communities of safety/reliability analysis and of DES (Discrete Event Systems) with an opportunity to exchange information and new ideas, and to discuss new developments in the field of Dependable Control of Discrete Event Systems. Researches in this field are driven by the needs of many different application domains, such as production systems, transport systems, automotive, embedded systems, etc.

Several research results recently issued by the two communities are able of bringing partial solutions to dependability requirements of these application domains. Fault-forecasting using dynamic fault-tree analysis, dependability modeling with Bayesian networks, fault-tolerant systems design, formal verification of control software, timed and probabilistic model-checking, fault detection and isolation, diagnosis and prognosis for DES, for instance, provide promising solutions to increase control systems dependability. Nevertheless, none of these approaches is able to provide a global solution. Hence, there is a need to bridge the gaps between the different models, methods, and tools that are proposed so as to improve the design and the operation of Dependable Control of Discrete Systems.

Gathering researchers of the two communities, this workshop will favor exchanges and will contribute to a better interdisciplinary approach for control dependability improvement. Works focusing on dependability improvement when designing and implementing the system ("off-line" approaches) as well as during system operation ("on-line" approaches) will be considered.

The workshop will cover all topics related to the specification, design, implementation, test and operation of dependable controllers for critical DES, including (but not limited to) the following:

* Formal methods for safety/reliability/availability analysis
* Modeling and analysis of timed, probabilistic and stochastic systems
* Conformance testing, model-based testing
* Monitoring, FDI, diagnosis and prognosis for Discrete Event Systems
* Reconfigurable control and fault-tolerant control of Discrete Event Systems
* Dependability and control of reconfiguring and self-organizing systems
* Interdisciplinary approaches for dependability improvement
* Applications including (but not limited to) the following:
o Manufacturing and production systems
o Transport, automotive systems
o Power generation and distribution
o Mechatronics and embedded systems
o Networked Systems
o Medical, Healthcare, and Assisted Living

Related Resources

ICACAR 2021   2021 4th International Conference on Advanced Control, Automation and Robotics (ICACAR 2021)
MathSJ 2020   Applied Mathematics and Sciences: An International Journal
ACM--RSAE--EI Compendex, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
IEEE--ICCCR--Ei Compendex, Scopus 2021   IEEE--2021 International Conference on Computer, Control and Robotics (ICCCR 2021)--Ei Compendex, Scopus
ICCRT--Ei and Scopus 2021   2021 3rd International Conference on Control and Robot Technology (ICCRT 2021)--Ei Compendex, Scopus
JCCAR 2021   2021 International Joint Conference on Control, Automation and Robotics (JCCAR 2021)
SCOPUS-PRIS 2021   3rd International Conference on Pattern Recognition and Intelligent Systems (PRIS 2021)
WSAI--Ei and Scopus 2021   2021 the 3rd World Symposium on Artificial Intelligence (WSAI 2021)--Ei Compendex, Scopus
WSAI--Ei Compendex and Scopus 2021   2021 the 3rd World Symposium on Artificial Intelligence (WSAI 2021)--Ei Compendex, Scopus
EI/SCOPUS-ACM-CCEAI 2021   5th International Conference on Control Engineering and Artificial Intelligence (CCEAI 2021)