Comparative Statistical Analysis of Qualitative Parametrization Sets

Streck, Adam; Thobe, Kirsten; Siebert, Heike

doi:10.1007/978-3-319-26916-0_2

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2016

2022

Publication Types

Select...

Book3

Article1

Other1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 5 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another group of existing tools targets the parameter synthesis problem for parametrised BNs. The most prominent tools here are GRNMC [ 20 ], GINsim [ 10 ] (indirectly through NuSMV [ 14 ]), and TREMPPI [ 35 ]. In general, parameter synthesis tools can be used to identify parameters producing a specified long-term behaviour (depending on the logics employed), however, they do not provide a sufficient solution for identification and classification of all attractors in the system.…”

Section: Introductionmentioning

confidence: 99%

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Beneš

Brim

Kadlecaj

et al. 2020

Computer Aided Verification

View full text Add to dashboard Cite

Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure and quality of attractors can undergo a significant change, known as a bifurcation. We present a tool for analysing bifurcations in asynchronous parametrised Boolean networks. To fight the state-space and parameter-space explosion problem the tool uses a parallel semi-symbolic algorithm.

show abstract