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