Další formáty:
BibTeX
LaTeX
RIS
@article{1569697,
author = {Beneš, Nikola and Brim, Luboš and Pastva, Samuel and Šafránek, David},
article_number = {102321},
doi = {http://dx.doi.org/10.1016/j.scico.2019.102321},
keywords = {Parameter synthesis; Hybrid CTL; Parallelism; Model checking},
language = {eng},
issn = {0167-6423},
journal = {Science of Computer Programming},
title = {Parallel parameter synthesis algorithm for hybrid CTL},
url = {http://dx.doi.org/10.1016/j.scico.2019.102321},
volume = {185},
year = {2020}
}
TY - JOUR
ID - 1569697
AU - Beneš, Nikola - Brim, Luboš - Pastva, Samuel - Šafránek, David
PY - 2020
TI - Parallel parameter synthesis algorithm for hybrid CTL
JF - Science of Computer Programming
VL - 185
IS - 102321
SP - 1-19
EP - 1-19
SN - 01676423
KW - Parameter synthesis
KW - Hybrid CTL
KW - Parallelism
KW - Model checking
UR - http://dx.doi.org/10.1016/j.scico.2019.102321
L2 - http://dx.doi.org/10.1016/j.scico.2019.102321
N2 - Parametrised models of dynamical systems arise in various areas of science. In this work, we focus on models described as parametrised Kripke structures with properties formulated in a hybrid extension of the Computation Tree Logic. Our goal is to identify all the parametrisations under which the given model satisfies the properties. To that end, we propose a novel semi-symbolic parallel parameter synthesis algorithm. The algorithm is built on top of an existing approach that utilises the so-called Extended Dependency Graphs. We extend this approach to deal with parameters. To demonstrate the usefulness of our approach, we show its application to several case studies taken from systems biology.
ER -
BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Parallel parameter synthesis algorithm for hybrid CTL. \textit{Science of Computer Programming}. 2020, roč.~185, č.~102321, s.~1-19. ISSN~0167-6423. Dostupné z: https://dx.doi.org/10.1016/j.scico.2019.102321.
|
