Accelerating Parameter Synthesis Using Semi-algebraic
Constraints

D 2019

Accelerating Parameter Synthesis Using Semi-algebraic Constraints

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

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

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"

Odkazy

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

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

core_B, firank_B

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 15. 4. 2021 12:06, doc. RNDr. David Šafránek, Ph.D.

Anotace

V originále

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

Citovat

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.

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

Podrobný výpis o publikaci