Interval Markovian models in dependability evaluation

MaRDI QIDQ5453626zbMATH OpenFDO

Authors Sérgio Galdino, Paulo Maciel, Nelson Rosa

Publication date 3 April 2008

zbMATH Keywords

stochastic modelingstochastic Petri netsinterval modelsdependability measures

Mathematics Subject Classification ID

Continuous-time Markov processes on discrete state spaces (60J27) Control/observation systems with incomplete information (93C41) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03) Interval and finite arithmetic (65G30)

Recommendations

• Lectures on Concurrency and Petri Nets
• Interval availability analysis using denumerable Markov processes: application to multiprocessor subject to breakdowns and repair
• scientific article; zbMATH DE number 5560393
• scientific article; zbMATH DE number 1706371
• Point and expected interval availability analysis with stationarity detection

Cited in

(9)

• Splitting techniques for interval parameters and their application to performance models
• An interval-valued reliability model with bounded failure rates
• A compound measure of dependability for systems modeled by continuous-time absorbing Markov processes
• Lectures on Concurrency and Petri Nets
• A Markovian Dependability Model with Cascading Failures
• scientific article; zbMATH DE number 5560393 (Why is no real title available?)
• scientific article; zbMATH DE number 6458382 (Why is no real title available?)
• scientific article; zbMATH DE number 1706371 (Why is no real title available?)
• From differential to difference importance measures for Markov reliability models

Describes a project that uses

Uses Software

• INTLAB

This page was built for publication: Interval Markovian models in dependability evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5453626)