征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介
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 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.
征稿信息

征稿范围

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, Forma
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    09月04日

    2013

    09月06日

    2013

  • 09月06日 2013

    注册截止日期

主办单位
国际自动控制联合会
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询