Informační systém Masarykovy univerzity 

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems

česky | in English

BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems. In Cyrille Artho et al.. Automated Technology for Verification and Analysis. ATVA 2016. LNCS 9938. Neuveden: Springer International Publishing, 2016. s. 192-208, 17 s. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_13.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
Autoři BENEŠ, Nikola (203 Česká republika, domácí), Luboš BRIM (203 Česká republika, domácí), Martin DEMKO (703 Slovensko, domácí), Samuel PASTVA (703 Slovensko, domácí) a David ŠAFRÁNEK (203 Česká republika, garant, domácí).
Vydání LNCS 9938. Neuveden, Automated Technology for Verification and Analysis. ATVA 2016, od s. 192-208, 17 s. 2016.
Nakladatel Springer International Publishing
Další údaje
Originální jazyk angličtina
Typ výsledku Článek ve sborníku
Obor Informatika
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
Impakt faktor Impact factor: 0.402 v roce 2005
Kód RIV RIV/00216224:14330/16:00088098
Organizační jednotka Fakulta informatiky
ISBN 978-3-319-46519-7
ISSN 0302-9743
Doi http://dx.doi.org/10.1007/978-3-319-46520-3_13
Klíčová slova anglicky model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 06:46.
Anotace
We propose a novel scalable parallel algorithm for synthesis of interdependent parameters from CTL specifications for non-linear dynamical systems. The method employs a symbolic representation of sets of parameter valuations in terms of the first-order theory of the reals. To demonstrate its practicability, we apply the method to a class of piecewise multi-affine dynamical systems representing dynamics of biological systems with complex non-linear behaviour.
Návaznosti
GA15-11089S, projekt VaVNázev: Získávání parametrů biologických modelů pomocí techniky ověřování modelů
Investor: Grantová agentura ČR, Standardní projekty
MUNI/A/0945/2015, interní kód MUNázev: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace V.
Investor: Masarykova univerzita, Grantová agentura MU, Kategorie A - Specifický výzkum - Studentské výzkumné projekty
VytisknoutZobrazeno: 20. 9. 2017 23:42

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 20. 9. 2017 23:42, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému