Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1645597,
author = {Beneš, Nikola and Brim, Luboš and Geletka, Martin and Pastva, Samuel and Šafránek, David},
address = {Cham},
booktitle = {Integrated Formal Methods},
doi = {http://dx.doi.org/10.1007/978-3-030-34968-4_2},
edition = {LNCS 11918},
editor = {Ahrendt, Wolfgang and Tapia Tarifa, Silvia Lizeth},
keywords = {parameter synthesis; semi-algebraic set; CTL},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Cham},
isbn = {978-3-030-34967-7},
pages = {27-45},
publisher = {Springer International Publishing},
title = {Accelerating Parameter Synthesis Using Semi-algebraic Constraints},
url = {http://dx.doi.org/10.1007/978-3-030-34968-4_2},
year = {2019}
}
TY - JOUR
ID - 1645597
AU - Beneš, Nikola - Brim, Luboš - Geletka, Martin - Pastva, Samuel - Šafránek, David
PY - 2019
TI - Accelerating Parameter Synthesis Using Semi-algebraic Constraints
PB - Springer International Publishing
CY - Cham
SN - 9783030349677
KW - parameter synthesis
KW - semi-algebraic set
KW - CTL
UR - http://dx.doi.org/10.1007/978-3-030-34968-4_2
N2 - 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.
ER -
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. \textit{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.
|
