BENEŠ, Nikola, Luboš BRIM, Martin GELETKA, Samuel PASTVA a David ŠAFRÁNEK. Accelerating Parameter Synthesis Using Semi-algebraic Constraints. Online. In Ahrendt, Wolfgang and Tapia Tarifa, Silvia Lizeth. Integrated Formal Methods. LNCS 11918. Cham: Springer International Publishing, 2019, s. 27-45. ISBN 978-3-030-34967-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-34968-4_2.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Accelerating Parameter Synthesis Using Semi-algebraic Constraints
Autoři BENEŠ, Nikola (203 Česká republika, domácí), Luboš BRIM (203 Česká republika, domácí), Martin GELETKA (703 Slovensko, domácí), Samuel PASTVA (703 Slovensko, domácí) a David ŠAFRÁNEK (203 Česká republika, garant, domácí).
Vydání LNCS 11918. Cham, Integrated Formal Methods, od s. 27-45, 19 s. 2019.
Nakladatel Springer International Publishing
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Utajení není předmětem státního či obchodního tajemství
Forma vydání elektronická verze "online"
WWW URL
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14330/19:00108262
Organizační jednotka Fakulta informatiky
ISBN 978-3-030-34967-7
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-030-34968-4_2
UT WoS 000611734300002
Klíčová slova anglicky parameter synthesis; semi-algebraic set; CTL
Štítky firank_B
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 15. 4. 2021 12:06.
Anotace
We propose a novel approach to parameter synthesis for parametrised Kripke structures and CTL specifications. In our method, we suppose the parametrisations form a semi-algebraic set and we utilise a symbolic representation using the so-called cylindrical algebraic decomposition of corresponding multivariate polynomials. Specifically, we propose a new data structure allowing to compute and efficiently manipulate such representations. The new method is significantly faster than our previous method based on SMT. We apply the method to a set of rational dynamical systems representing complex biological mechanisms with non-linear behaviour.
Návaznosti
GA18-00178S, projekt VaVNá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ů
VytisknoutZobrazeno: 17. 7. 2024 12:51