ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks

DOI10.1007/978-3-319-24953-7_16MaRDI QIDQ3460562zbMATH OpenOpenAlexFDO

Authors Andrzej Mizera, Jun Pang, Qixia Yuan

Publication date 8 January 2016

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24953-7_16

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Systems biology, networks (92C42)

Recommendations

• Steady-state analysis of probabilistic Boolean networks
• Context-Sensitive Probabilistic Boolean Networks: Steady-State Properties, Reduction, and Steady-State Approximation
• On computation of the steady-state probability distribution of probabilistic Boolean networks with gene perturbation
• Fitting Boolean networks from steady state perturbation data
• Fast simulation of probabilistic Boolean networks
• Asymptotic stability in probability for stochastic Boolean networks
• Steady-state probabilities for attractors in probabilistic Boolean networks
• Asymptotical stability and stabilisation of probabilistic Boolean networks subject to function perturbation

Cited in

(4)

• Steady-state probabilities for attractors in probabilistic Boolean networks
• Steady-state analysis of probabilistic Boolean networks
• Context-Sensitive Probabilistic Boolean Networks: Steady-State Properties, Reduction, and Steady-State Approximation
• GPU-accelerated steady-state computation of large probabilistic Boolean networks

Describes a project that uses

Uses Software

• PRISM
• Skart
• optPBN
• ASSA-PBN

This page was built for publication: ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks

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