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 条
  • [1] Algorithmic algebraic model checking II: Decidability of semi-algebraic model checking and its applications to systems biology
    Mysore, V
    Piazza, C
    Mishra, B
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 217 - 233
  • [2] Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology
    Mishra, Bud
    JOURNAL OF THE ROYAL SOCIETY INTERFACE, 2009, 6 (36) : 575 - 597
  • [3] Algorithmic Algebraic Model Checking III: Approximate Methods
    Mysore, Venkatesh
    Mishra, Bud
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 149 (01) : 61 - 77
  • [4] Algorithmic algebraic model checking IV: Characterization of metabolic networks
    Mysore, Venkatesh
    Mishra, Bud
    ALGEBRAIC BIOLOGY, PROCEEDINGS, 2007, 4545 : 170 - +
  • [5] Model-Checking in Systems Biology - From Micro to Macro
    Collins, Pieter
    FORMAL METHODS IN MACRO-BIOLOGY, 2014, 8738 : 1 - 22
  • [6] Algebraic Model Checking for Discrete Linear Dynamical Systems
    Luca, Florian
    Ouaknine, Joel
    Worrell, James
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2022, 2022, 13465 : 3 - 15
  • [7] Algorithmic Systems Biology
    Priami, Corrado
    COMMUNICATIONS OF THE ACM, 2009, 52 (05) : 80 - 88
  • [8] ALGORITHMIC COMPLEXITY OF ALGEBRAIC SYSTEMS
    SELIVANOV, VL
    MATHEMATICAL NOTES, 1988, 44 (5-6) : 944 - 950
  • [9] Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
    To, Anthony Widjaja
    Libkin, Leonid
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 221 - 236
  • [10] Model Checking: Algorithmic Verification and Debugging
    Clarke, Edmund M.
    Emerson, E. Allen
    Sifakis, Joseph
    COMMUNICATIONS OF THE ACM, 2009, 52 (11) : 75 - 84
12345