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.
CITATION STYLE
Šmijáková, E., Pastva, S., Šafránek, D., & Brim, L. (2020). Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12314 LNBI, pp. 280–297). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-60327-4_15
Mendeley helps you to discover research relevant for your work.