Parallel Parameter Synthesis for Multi-affine Hybrid Systems
from Hybrid CTL Specifications.

D 2020

Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.

ŠMIJÁKOVÁ, Eva; Samuel PASTVA; David ŠAFRÁNEK a Luboš BRIM

Základní údaje

Originální název

Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.

Autoři

ŠMIJÁKOVÁ, Eva; Samuel PASTVA ; David ŠAFRÁNEK a Luboš BRIM

Vydání

Cham, Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, od s. 280-297, 18 s. 2020

Nakladatel

Springer, Cham

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

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

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/20:00114364

Organizační jednotka

Fakulta informatiky

ISBN

978-3-030-60326-7

ISSN

DOI

https://doi.org/10.1007/978-3-030-60327-4_15

EID Scopus

2-s2.0-85093104734

Klíčová slova anglicky

Hybrid systems; Parameter synthesis; Rectangular abstraction; Semi-symbolic; Hybrid CTL

Štítky

firank_B

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 8. 2. 2024 10:05, doc. RNDr. David Šafránek, Ph.D.

Anotace

V originále

We consider the parameter synthesis problem for multi-affine hybrid systems and properties specified using a hybrid extension of CTL (HCTL). The goal is to determine the sets of parameter valuations for which the given hybrid system satisfies the desired HCTL property. As our main contribution, we propose a shared-memory parallel algorithm which efficiently computes such parameter valuation sets. We combine a rectangular discretisation of the continuous dynamics with the discrete transitions of the hybrid system to obtain a single over-approximating semi-symbolic transition system. Such system can be then analysed using a fixed-point parameter synthesis algorithm to obtain all satisfying parametrisations. We evaluate the scalability of the method and demonstrate its applicability in a biological case study.

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ů

MUNI/A/1018/2018, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII.

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VIII., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

MUNI/A/1050/2019, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX (Akronym: SV-FI MAV IX)

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IX, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

MUNI/A/1076/2019, interní kód MU

Název: Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 20 (Akronym: SKOMU)

Investor: Masarykova univerzita, Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 20, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

ŠMIJÁKOVÁ, Eva; Samuel PASTVA; David ŠAFRÁNEK a Luboš BRIM. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. Online. In Abate A., Petrov T., Wolf V. Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314. Cham: Springer, Cham, 2020, s. 280-297. ISBN 978-3-030-60326-7. Dostupné z: https://doi.org/10.1007/978-3-030-60327-4_15.

@inproceedings{1685211,
   author = {Šmijáková, Eva and Pastva, Samuel and Šafránek, David and Brim, Luboš},
   address = {Cham},
   booktitle = {Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314},
   doi = {https://doi.org/10.1007/978-3-030-60327-4_15},
   editor = {Abate A., Petrov T., Wolf V.},
   keywords = {Hybrid systems; Parameter synthesis; Rectangular abstraction; Semi-symbolic; Hybrid CTL},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {Cham},
   isbn = {978-3-030-60326-7},
   pages = {280-297},
   publisher = {Springer, Cham},
   title = {Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.},
   url = {https://link.springer.com/chapter/10.1007/978-3-030-60327-4_15},
   year = {2020}
}

TY  - CONF
ID  - 1685211
AU  - Šmijáková, Eva - Pastva, Samuel - Šafránek, David - Brim, Luboš
PY  - 2020
TI  - Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.
PB  - Springer, Cham
CY  - Cham
SN  - 9783030603267
KW  - Hybrid systems
KW  - Parameter synthesis
KW  - Rectangular abstraction
KW  - Semi-symbolic
KW  - Hybrid CTL
UR  - https://link.springer.com/chapter/10.1007/978-3-030-60327-4_15
N2  - We consider the parameter synthesis problem for multi-affine hybrid systems and properties specified using a hybrid extension of CTL (HCTL). The goal is to determine the sets of parameter valuations for which the given hybrid system satisfies the desired HCTL property. As our main contribution, we propose a shared-memory parallel algorithm which efficiently computes such parameter valuation sets. We combine a rectangular discretisation of the continuous dynamics with the discrete transitions of the hybrid system to obtain a single over-approximating semi-symbolic transition system. Such system can be then analysed using a fixed-point parameter synthesis algorithm to obtain all satisfying parametrisations. We evaluate the scalability of the method and demonstrate its applicability in a biological case study.
ER  -

ŠMIJÁKOVÁ, Eva; Samuel PASTVA; David ŠAFRÁNEK a Luboš BRIM. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. Online. In Abate A., Petrov T., Wolf V. \textit{Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314}. Cham: Springer, Cham, 2020, s.~280-297. ISBN~978-3-030-60326-7. Dostupné z: https://doi.org/10.1007/978-3-030-60327-4\_{}15.

Přehled o publikaci