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.
|