Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1352259,
author = {Beneš, Nikola and Brim, Luboš and Demko, Martin and Pastva, Samuel and Šafránek, David},
address = {Neuveden},
booktitle = {Automated Technology for Verification and Analysis. ATVA 2016},
doi = {http://dx.doi.org/10.1007/978-3-319-46520-3_13},
edition = {LNCS 9938},
editor = {Cyrille Artho et al.},
keywords = {model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Neuveden},
isbn = {978-3-319-46519-7},
pages = {192-208},
publisher = {Springer International Publishing},
title = {Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems},
year = {2016}
}
TY - JOUR
ID - 1352259
AU - Beneš, Nikola - Brim, Luboš - Demko, Martin - Pastva, Samuel - Šafránek, David
PY - 2016
TI - Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
PB - Springer International Publishing
CY - Neuveden
SN - 9783319465197
KW - model checking
KW - satisfiability modulo theories
KW - Computational Tree Logic
KW - dynamical systems
KW - distributed algorithms
N2 - 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.
ER -
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. \textit{Automated Technology for Verification and Analysis. ATVA 2016}. LNCS 9938. Neuveden: Springer International Publishing, 2016, s.~192-208. ISBN~978-3-319-46519-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46520-3\_{}13.
|
