Title :
Multi-Phase Markov models for functional safety prediction: Efficient simulation of Markov models used for safety engineering and the online integration of individual systems´ diagnostic and maintenance history
Author :
Felgner, Felix ; Frey, Georg
Author_Institution :
Dept. of Autom., Saarland Univ., Saarbrücken, Germany
Abstract :
The contribution first describes the implementation of Continuous-Time Markov Chains (CTMC) in the language Modelica; this enables the simulation by powerful solvers making typical Functional Safety applications numerically more efficient and reliable than with classically used Discrete-Time Markov Chains (DTMC). Secondly, the CTMC are extended to Multi-Phase Markov Chains (CTMCMP) enabling the inclusion of maintenance (restoration) actions as well as online diagnostics, which is finally elaborated to the online prediction of an individual system´s safety quantities.
Keywords :
Markov processes; continuous time systems; differential algebraic equations; fault diagnosis; maintenance engineering; process control; safety; Modelica language; continuous-time Markov chains; differential-algebraic solvers; functional safety application; functional safety prediction; maintenance actions; multiphase Markov models; online diagnostics; process industry; restoration actions; safety engineering; system diagnostic history; system maintenance history; system safety; Maintenance engineering; Markov processes; Mathematical model; Object oriented modeling; Phase frequency detector; Predictive models; Safety; CTMC; Continuous-Time Markov Chains; Functional Safety prediction; Modelica; Multi-Phase Markov Chains; diagnostics and maintenance; efficient simulation; hybrid;
Conference_Titel :
Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on
Conference_Location :
Saarbrucken
Print_ISBN :
978-1-4244-8969-5
DOI :
10.1109/DCDS.2011.5970331
