Combining decomposition and reduction for state space analysis of a self-stabilizing system

DOI10.1016/J.JCSS.2013.01.022MaRDI QIDQ394332zbMATH OpenOpenAlexFDO

Authors Nils Müllner, Oliver Theel, Martin Fränzle

Publication date 27 January 2014

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2013.01.022

zbMATH Keywords

fault tolerancelimiting window availabilityMarkov chainsprobabilistic bisimilarityprobabilistic model checkingself stabilization

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Computing the fault-containment time of self-stabilizing algorithms using Markov chains and lumping
• Computing fault-containment times of self-stabilizing algorithms using lumped Markov chains
• Decomposition in Reliability Analysis of Fault-Tolerant Systems
• scientific article; zbMATH DE number 1786480
• scientific article; zbMATH DE number 1089092

Cites work

• A Symbolic Algorithm for Optimal Markov Chain Lumping
• Finite Continuous Time Markov Chains
• scientific article; zbMATH DE number 1696500 (Why is no real title available?)
• scientific article; zbMATH DE number 1285311 (Why is no real title available?)
• Optimal state-space lumping in Markov chains
• Three-valued abstraction for probabilistic systems

Cited in

(2)

• State space reduction based on live variables analysis.
• State space decomposition for non-autonomous dynamical systems

This page was built for publication: Combining decomposition and reduction for state space analysis of a self-stabilizing system

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