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 条

[21] On algorithmic analysis of transcriptional regulation by LTL model checking
Barnat, J.
Brim, L.
Cerna, I.
Drazan, S.
Fabrikova, J.
Safranek, D.
THEORETICAL COMPUTER SCIENCE, 2009, 410 (33-34) : 3128 - 3148
[22] New challenges in model checking
Holzmann, Gerard J.
Joshi, Rajeev
Groce, Alex
25 YEARS OF MODEL CHECKING: HISTORY, ACHIEVEMENTS, PERSPECTIVES, 2008, 5000 : 65 - 76
[23] Addressing the challenges of multiscale model management in systems biology
Hetherington, J.
Bogle, I. D. L.
Saffrey, P.
Margoninski, O.
Li, L.
Rey, M. Varela
Yamaji, S.
Baigent, S.
Ashmore, J.
Page, K.
Seymour, R. M.
Finkelstein, A.
Warner, A.
COMPUTERS & CHEMICAL ENGINEERING, 2007, 31 (08) : 962 - 979
[24] IMPLEMENTATION OF ALGEBRAIC MODEL OF HARDWARE CHECKING.
Podkopaev, B.D.
Shcherbakov, N.S.
Automatic Control and Computer Sciences, 1980, 14 (03) : 53 - 59
[25] AN ALGEBRAIC AND ALGORITHMIC METHOD FOR ANALYZING TRANSITION-SYSTEMS
DICKY, A
THEORETICAL COMPUTER SCIENCE, 1986, 46 (2-3) : 285 - 303
[26] Algebraic systems biology: Theses and hypotheses
Mishra, Bud
ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 1 - 14
[27] Statistical model checking: challenges and perspectives
Legay, Axel
Viswanathan, Mahesh
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (04) : 369 - 376
[28] Statistical model checking: challenges and perspectives
Axel Legay
Mahesh Viswanathan
International Journal on Software Tools for Technology Transfer, 2015, 17 : 369 - 376
[29] Computational challenges in bounded model checking
Clarke E.
Kroening D.
Ouaknine J.
Strichman O.
International Journal on Software Tools for Technology Transfer, 2005, 7 (2) : 174 - 183
[30] An algebraic approach to multi-valued model checking
Wu, Jinzhao
Zhao, Lin
SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 238 - +

← 1 2 3 4 5 →