Solving systems of bilinear equations for transition rate reconstruction

DOI10.1007/978-3-030-89247-0_11zbMATH Open1496.68248OpenAlexW3207198994MaRDI QIDQ2145274FDOQ2145274

Authors: Amin Soltanieh, Markus Siegle 

Publication date: 17 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-89247-0_11

Recommendations

• Rate lifting for stochastic process algebra -- exploiting structural properties
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
• scientific article; zbMATH DE number 19255
• Publication:4861736
• Unification of reliability/availability/repairability models for Markov systems

zbMATH Keywords

stochastic process algebrabilinear system of equationsmodel reconstruction

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Model repair for probabilistic systems
• A Compositional Approach to Performance Modelling
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Solution theory for complete bilinear systems of equations
• Abstract model repair for probabilistic systems
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
• Parameter and Controller Synthesis for Markov Chains with Actions and State Labels.

Cited In (2)

• Rate lifting for stochastic process algebra -- exploiting structural properties
• Rate lifting for stochastic process algebra by transition context augmentation

Uses Software

• Matlab
• PRISM
• Gurobi
• MRMC
• Storm
• iscasMc

This page was built for publication: Solving systems of bilinear equations for transition rate reconstruction

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