Other formats:
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 and David ŠAFRÁNEK. Parallel parameter synthesis algorithm for hybrid CTL. \textit{Science of Computer Programming}. 2020, vol.~185, No~102321, p.~1-19. ISSN~0167-6423. Available from: https://dx.doi.org/10.1016/j.scico.2019.102321.
|