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

DOI10.1007/978-3-030-85172-9_6zbMath1491.68124OpenAlexW3194614687MaRDI QIDQ832061

Olle Mattsson, Mattias Nyberg, Stefan Kaalen

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)

Uses Software

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

Cites Work

• Statecharts: a visual formalism for complex systems
• Regenerative stochastic processes
• The Lebesgue-Stieltjes Integral
• Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes
• Markov Renewal Processes with Finitely Many States
• Linear Algebra
• Semi-Markov processes and reliability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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