Solving systems of bilinear equations for transition rate reconstruction

DOI10.1007/978-3-030-89247-0_11zbMath1496.68248OpenAlexW3207198994MaRDI QIDQ2145274

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

zbMATH Keywords

stochastic process algebrabilinear system of equationsmodel reconstruction

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)

Related Items (1)

Rate lifting for stochastic process algebra -- exploiting structural properties

Uses Software

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

Cites Work

• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Abstract model repair for probabilistic systems
• Model Repair for Probabilistic Systems
• Solution theory for complete bilinear systems of equations
• 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.
• A Compositional Approach to Performance Modelling

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