DCDS 2013 4th IFAC Workshop on Dependable Control of Discrete Systems

  • Skip to content
  • Jump to main navigation and login

Nav view search

Navigation

Search

You are here: Home

Main Menu

  • DCDS'13 Home
  • Registration
  • Programme
  • Call For Participation
  • Paper Submission
  • Publication
  • Awards
  • Important Dates
  • Costs
  • Venue
  • Committees
  • Previous DCDS
  • Sponsors
  • Contact

DCDS'13 Home

Welcome to DCDS'13

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, power production and distribution, healthcare, etc.

Several research results recently issued by the two communities are able to bring partial solutions to dependability requirements of these application domains. Fault-forecasting using dynamic fault-tree analysis, dependability modelling 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 specification, design, implementation and operation of dependable controllers for critical DES, including (but not limited to) the following:

  • Recent advances in fault-tree and fault-forecasting methods,
  • Formal methods for timed and probabilistic systems
  • Modelling 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 including (but not limited to) the following: manufacturing and production systems, transport, automotive, power plants, mechatronics, embedded systems, and healthcare

Important Dates

Date of workshop: Wednesday 4th- Friday 6th September 2013

Extended Deadline for submission of full papers and special sessions: Monday 22nd April 2013

Notification of acceptance: Friday 31st May 2013

Submission of final papers: Friday 28th June 2013

Early registration deadline: Monday 15th July 2013

Registration

For options regarding registration please contact Bob French This email address is being protected from spambots. You need JavaScript enabled to view it. .

The programme can be found here.

Venue

The venue for the workshop is: 
Department of Computer Science
The University of York
Deramore Lane
York
YO10 5GH
United Kingdom

You can find more information about how to get to the venue here and what sort of accomodation is available in the city here.

University of York logoIFAC logoUniversity of Hull logo