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 条
  • [11] Algorithmic improvements in regular model checking
    Abdulla, PA
    Jonsson, B
    Nilsson, M
    d'Orso, J
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 236 - 248
  • [12] Algorithmic challenges in structural molecular biology and proteomics
    Donald, BR
    ALGORITHMIC FOUNDATIONS OF ROBOTICS VI, 2005, 17 : 1 - 10
  • [13] Probabilistic Model Checking for Biology
    Kwiatkowska, Marta
    Thachuk, Chris
    SOFTWARE SYSTEMS SAFETY, 2014, 36 : 165 - 189
  • [14] Challenges to process-algebraic property-checking
    Goldsmith, M
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 273 - 278
  • [15] Relations Between Algorithmic Reducibilities of Algebraic Systems
    Kalimullin, I. Sh.
    RUSSIAN MATHEMATICS, 2009, 53 (06) : 58 - 59
  • [16] Relations between algorithmic reducibilities of algebraic systems
    I. Sh. Kalimullin
    Russian Mathematics, 2009, 53 (6) : 58 - 59
  • [17] Algorithmic Thomas decomposition of algebraic and differential systems
    Baechler, Thomas
    Gerdt, Vladimir
    Lange-Hegermann, Markus
    Robertz, Daniel
    JOURNAL OF SYMBOLIC COMPUTATION, 2012, 47 (10) : 1233 - 1266
  • [18] A Model Checking-based Analysis Framework for Systems Biology Models
    Liu, Bing
    Safa, Sara
    PROCEEDINGS OF THE 2020 57TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2020,
  • [19] AN ALGORITHMIC TEST FOR CHECKING STABILITY OF FEEDBACK SPECTRAL SYSTEMS
    ERICKSON, MA
    LAUB, AJ
    AUTOMATICA, 1995, 31 (01) : 125 - 135
  • [20] Checking Algebraic Reachability of Polynomial and Rational Systems
    Nemcova, Jana
    van Schuppen, Jan H.
    IFAC PAPERSONLINE, 2017, 50 (01): : 12119 - 12124
12345