Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow

DOI10.1007/978-3-030-85172-9_6MaRDI QIDQ832061zbMATH OpenOpenAlexFDO

Authors Stefan Kaalen, Mattias Nyberg, Olle Mattsson

Publication date 24 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-85172-9_6

Mathematics Subject Classification ID

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

• Numerical treatment of homogeneous semi-Markov processes in transient case: A straightforward approach
• A transient solution method for semi-Markov systems
• scientific article; zbMATH DE number 849174
• scientific article; zbMATH DE number 1424144
• Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes

Cites work

• Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes
• scientific article; zbMATH DE number 3122708 (Why is no real title available?)
• scientific article; zbMATH DE number 3736680 (Why is no real title available?)
• scientific article; zbMATH DE number 3532286 (Why is no real title available?)
• scientific article; zbMATH DE number 2031002 (Why is no real title available?)
• scientific article; zbMATH DE number 3448056 (Why is no real title available?)
• Linear algebra. Translated from the German
• Markov Renewal Processes with Finitely Many States
• Modeling and analysis of stochastic systems
• Probability and random processes.
• Regenerative stochastic processes
• Semi-Markov processes and reliability
• Statecharts: a visual formalism for complex systems
• The Lebesgue-Stieltjes Integral

Describes a project that uses

Uses Software

• TimeNET
• StateFlow
• GreatSPN
• Matlab
• SMP-tool
• MoDeST

This page was built for publication: Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow

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