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.
CITATION STYLE
Beneš, N., Brim, L., Demko, M., Pastva, S., & Šafránek, D. (2016). Parallel SMT-based parameter synthesis with application to piecewise multi-affine systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9938 LNCS, pp. 192–208). Springer Verlag. https://doi.org/10.1007/978-3-319-46520-3_13
Mendeley helps you to discover research relevant for your work.