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