Algorithmic algebraic model checking I: Challenges from systems biology

被引：0

作者：

Piazza, C ^{[1
]}

Antoniotti, M

Mysore, V

Policriti, A

Winkler, F

Mishra, B

机构：

[1] Univ Udine, Dept Math & Comp Sci, I-33100 Udine, Italy

[2] NYU, Courant Inst Math Sci, New York, NY USA

[3] NYU, Sch Med, Dept Cell Biol, New York, NY USA

[4] Johannes Kepler Univ Linz, Res Inst Symbol Computat, A-4040 Linz, Austria

来源：

COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2005年 / 3576卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper, we suggest a possible confluence of the theory of hybrid automata and the techniques of algorithmic algebra to create a computational basis for systems biology. We describe a method to compute bounded reachability by combining Taylor polynomials and cylindric algebraic decomposition algorithms. We discuss the power and limitations of the framework we propose and we suggest several possible extensions. We briefly show an application to the study of the Delta-Notch protein signaling system in biology.

引用

页码：5 / 19

页数：15

共 50 条

[41] An Algebraic Approach to Reverse Engineering Finite Dynamical Systems Arising from Biology
Veliz-Cuba, Alan
SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, 2012, 11 (01): : 31 - 48
[42] Validation and variability: Dual challenges on the path from systems biology to systems medicine
Carusi, Annamaria
STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE PART C-STUDIES IN HISTORY AND PHILOSOPHY OF BIOLOGICAL AND BIOMEDIAL SCIENCES, 2014, 48 : 28 - 37
[43] An I/O Efficient Model Checking Algorithm for Large-Scale Systems
Wu, Lijun
Huang, Huijia
Su, Kaile
Cai, Shaowei
Zhang, Xiaosong
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2015, 23 (05) : 905 - 915
[44] From Algebraic Biology to Artificial Intelligence
Tolokonnikov, Georgy K.
Petoukhov, Sergey, V
ADVANCES IN INTELLIGENT SYSTEMS, COMPUTER SCIENCE AND DIGITAL ECONOMICS, 2020, 1127 : 86 - 95
[45] Learning (from) the errors of a systems biology model
Engelhardt, Benjamin
Frohlich, Holger
Kschischo, Maik
SCIENTIFIC REPORTS, 2016, 6
[46] Test generation from P systems using model checking
Ipate, Florentin
Gheorghe, Marian
Lefticaru, Raluca
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (06): : 350 - 362
[47] Model checking of hybrid systems: From reachability towards stability
Podelski, A
Wagner, S
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 507 - 521
[48] Learning (from) the errors of a systems biology model
Benjamin Engelhardt
Holger Frőhlich
Maik Kschischo
Scientific Reports, 6
[49] Model Checking Flight Guidance Systems: from Synchrony to Asynchrony
Choi, Yunja
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 133 : 61 - 79
[50] An algorithmic method for checking global asymptotic stability of nonlinear polynomial systems with parameters
Kotsios, Stelios
APPLIED MATHEMATICS AND COMPUTATION, 2014, 240 : 358 - 367

← 1 2 3 4 5 →