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


• Recent advances in fault-forecasting methods

• Formal methods for timed and probabilistic systems

• Modeling and analysis of stochastic systems

• Monitoring and diagnosis of discrete event systems

• Control of fault-tolerant discrete event systems

• Reconfiguration methods

• Interdisciplinary approaches for dependability improvement

• Applications to manufacturing and production systems, transport, power plants, healtcare systems, mechatronics and embedded systems

• Safety-critical systems

• System security