AEON: Attractor Bifurcation Analysis of Parametrised Boolean
Networks

D 2020

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA, David ŠAFRÁNEK et. al.

Základní údaje

Originální název

AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks

Autoři

BENEŠ, Nikola (203 Česká republika, domácí), Luboš BRIM (203 Česká republika, domácí), Jakub KADLECAJ (703 Slovensko), Samuel PASTVA (703 Slovensko, garant, domácí) a David ŠAFRÁNEK (203 Česká republika, domácí)

Vydání

LNCS 12224. Cham, Computer Aided Verification. CAV 2020, od s. 569-581, 13 s. 2020

Nakladatel

Springer, Cham

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

URL

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/20:00114294

Organizační jednotka

Fakulta informatiky

ISBN

978-3-030-53287-1

ISSN

DOI

http://dx.doi.org/10.1007/978-3-030-53288-8_28

UT WoS

000695276000028

Klíčová slova anglicky

Boolean networks; Attractors; Bifurcation analysis

Štítky

core_A, firank_1

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 19. 1. 2021 14:59, prof. RNDr. Luboš Brim, CSc.

Anotace

V originále

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.

Návaznosti

GA18-00178S, projekt VaV

Název: Diskrétní bifurkační analýza reaktivních systémů

Investor: Grantová agentura ČR, Diskrétní bifurkační analýza reaktivních systémů

MUNI/A/1050/2019, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX (Akronym: SV-FI MAV IX)

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA a David ŠAFRÁNEK. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification. CAV 2020. LNCS 12224. Cham: Springer, Cham, 2020, s. 569-581. ISBN 978-3-030-53287-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-53288-8_28.

@inproceedings{1676301,
   author = {Beneš, Nikola and Brim, Luboš and Kadlecaj, Jakub and Pastva, Samuel and Šafránek, David},
   address = {Cham},
   booktitle = {Computer Aided Verification. CAV 2020},
   doi = {http://dx.doi.org/10.1007/978-3-030-53288-8_28},
   edition = {LNCS 12224},
   editor = {Shuvendu K. Lahiri and Chao Wang},
   keywords = {Boolean networks; Attractors; Bifurcation analysis},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Cham},
   isbn = {978-3-030-53287-1},
   pages = {569-581},
   publisher = {Springer, Cham},
   title = {AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks},
   url = {https://doi.org/10.1007/978-3-030-53288-8_28},
   year = {2020}
}

TY  - JOUR
ID  - 1676301
AU  - Beneš, Nikola - Brim, Luboš - Kadlecaj, Jakub - Pastva, Samuel - Šafránek, David
PY  - 2020
TI  - AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
PB  - Springer, Cham
CY  - Cham
SN  - 9783030532871
KW  - Boolean networks
KW  - Attractors
KW  - Bifurcation analysis
UR  - https://doi.org/10.1007/978-3-030-53288-8_28
N2  - 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.
ER  -

BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA a David ŠAFRÁNEK. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In Shuvendu K. Lahiri and Chao Wang. \textit{Computer Aided Verification. CAV 2020}. LNCS 12224. Cham: Springer, Cham, 2020, s.~569-581. ISBN~978-3-030-53287-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-53288-8\_{}28.

Podrobný výpis o publikaci