Topics

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:
• Manufacturing and production systems
• Transport, automotive systems
• Power generation and distribution
• Mechatronics and embedded systems
• Networked Systems
• Medical, Healthcare, and Assisted Living