Other formats:
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 and 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, p.~192-208. ISBN~978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3\_{}13.
|