An aggregation method of Markov graphs for the reliability analysis of hybrid systems

被引：25
作者：
Schoenig, R
Aubry, JF
Cambois, T
Hutinet, T
机构：
[1] GFI Consulting, F-92442 Issy Les Moulineaux, France
[2] CRAN, F-54516 Vandoeuvre Les Nancy, France
[3] PSA Peugeot Citroen, F-92256 La Garenne Colombes, France
来源：
RELIABILITY ENGINEERING & SYSTEM SAFETY | 2006年 / 91卷 / 02期
关键词：
control systems; simulation; Markov graphs; aggregation; Petri nets; dynamic hybrid systems;
D O I：
10.1016/j.ress.2005.03.007
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
To meet always increasing safety requirements in car industry, design and safety assessment methods are developed in order to fit the complexity of new embedded mecatronic systems. Hybrid (discrete/continuous) and dynamic features, specific to these systems, require choosing a suitable formalism. These features should also be considered in safety studies made all through the system design. The aim of this paper is to propose a quantitative analysis method based on the construction of an aggregated Markov graph, which allows a limitation of the combinatorial expansion. This graph is directly deducted from the Petri net modelling of the system. It is composed by a set of functional modes and a set of transitions to which statistical information regarding the system dynamics has been added. (C) 2005 Elsevier Ltd. All rights reserved.
引用
收藏
页码：137 / 148
页数：12
相关论文
共 16 条
  • [1] AMODEO L, 1999, THESIS U FRANCHE COM
  • [2] AUBRY JF, 1987, THESIS I NATL POLYTE
  • [3] BOBBIO A, 1986, IEEE T COMPUT, V35, P803, DOI 10.1109/TC.1986.1676840
  • [4] CABARBAYE A, 1999, QUAL 99 3 C INT PLUR, P615
  • [5] CHABOT JL, 1998, 11 C NAT FIAB MAINT, P126
  • [6] CHABOT JL, 1998, THESIS U POITIERS
  • [7] *IXI GFI CONS, 2000, MAN UT MOCA RP V10 0
  • [8] JAMPI D, 2001, THESIS I NATL POLYTE
  • [9] JAMPI D, 2001, MOS 01 3 C FRANC MOD, V2, P767
  • [10] JAMPI D, 2000, 12 C NAT FIAB MAINT, P521
12