Solving systems of bilinear equations for transition rate reconstruction

DOI10.1007/978-3-030-89247-0_11MaRDI QIDQ2145274zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

bilinear system of equationsmodel reconstructionstochastic process algebra

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

• 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

Cites work

• A Compositional Approach to Performance Modelling
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Abstract model repair for probabilistic systems
• It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
• Model repair for probabilistic systems
• Parameter and controller synthesis for Markov chains with actions and state labels
• Solution theory for complete bilinear systems of equations

Cited in

(2)

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

Describes a project that uses

Uses Software

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

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)