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

被引：8

作者：

Benes, Nikola ^{[1
]}

Brim, Lubos ^{[1
]}

Demko, Martin ^{[1
]}

Pastva, Samuel ^{[1
]}

Safranek, David ^{[1
]}

机构：

[1] Masaryk Univ, Fac Informat, Syst Biol Lab, Botanicka 68a, Brno 60200, Czech Republic

来源：

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016 | 2016年 / 9938卷

关键词：

ROBUSTNESS ANALYSIS;

D O I：

10.1007/978-3-319-46520-3_13

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：192 / 208

页数：17

共 50 条

[1] Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
Benes, Nikola
Brim, Lubos
Demko, Martin
Pastva, Samuel
Safranek, David
[J]. COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 591 - 598
[2] LMI-Based Stability Analysis for Piecewise Multi-affine Systems
Nguyen, Anh-Tu
Sugeno, Michio
Campos, Victor
Dambrine, Michel
[J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017, 25 (03) : 707 - 714
[3] Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm
Huang, Zhenqi
Wang, Yu
Mitra, Sayan
Dullerud, Geir E.
Chaudhuri, Swarat
[J]. 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 7434 - 7439
[4] Abstraction by projection and application to multi-affine systems
Asarin, E
Dang, T
[J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 32 - 47
[5] Parameter estimation and Stability of equilibrium of Gene Regulatory Network by Piecewise Multi-affine approach
Shen, Jianwei
Wang, Yi
Liu, Zengrong
Lang, Rongling
[J]. OPTIMIZATION AND SYSTEMS BIOLOGY, PROCEEDINGS, 2008, 9 : 36 - +
[6] Reachability analysis of multi-affine systems
Kloetzer, Marius
Belta, Calin
[J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 348 - 362
[7] Reachability analysis of multi-affine systems
Kloetzer, Marius
Belta, Calin
[J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2010, 32 (05) : 445 - 467
[8] SMT-Based Synthesis of Distributed Self-Stabilizing Systems
Faghih, Fathiyeh
Bonakdarpour, Borzoo
[J]. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2015, 10 (03)
[9] SMT-Based Synthesis of Distributed Self-stabilizing Systems
Faghih, Fathiyeh
Bonakdarpour, Borzoo
[J]. STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2014, 2014, 8756 : 165 - 179
[10] SMT-Based Verification of Parameterized Systems
Gurfinkel, Arie
Shoham, Sharon
Meshman, Yuri
[J]. FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 338 - 348

← 1 2 3 4 5 →