Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

C. Piazza; M. Antoniotti; B. Mishra; V. Mysore; Franz Winkler; A. Policriti

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

C. Piazza, M. Antoniotti, B. Mishra, V. Mysore, Franz Winkler, A. Policriti

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

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 DeltaNotch protein signaling system in biology.

Original language	English
Title of host publication	Proceedings Computer Aided Verification (CAV 2005)
Editors	K.Etessami and S.K.Rajamani
Publisher	Springer
Pages	5-19
Number of pages	15
ISBN (Print)	3-540-27231-3
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this

@inproceedings{006ec8c3049646a3bb32df134a15ea06,

title = "Algorithmic Algebraic Model Checking I: Challenges from Systems Biology",

abstract = "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 DeltaNotch protein signaling system in biology.",

author = "C. Piazza and M. Antoniotti and B. Mishra and V. Mysore and Franz Winkler and A. Policriti",

year = "2005",

language = "English",

isbn = "3-540-27231-3",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "5--19",

editor = "{K.Etessami and S.K.Rajamani}",

booktitle = "Proceedings Computer Aided Verification (CAV 2005)",

}

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. / Piazza, C.; Antoniotti, M.; Mishra, B. et al.
Proceedings Computer Aided Verification (CAV 2005). ed. / K.Etessami and S.K.Rajamani. Springer, 2005. p. 5-19 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

AU - Piazza, C.

AU - Antoniotti, M.

AU - Mishra, B.

AU - Mysore, V.

AU - Winkler, Franz

AU - Policriti, A.

PY - 2005

Y1 - 2005

N2 - 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 DeltaNotch protein signaling system in biology.

AB - 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 DeltaNotch protein signaling system in biology.

M3 - Conference proceedings

SN - 3-540-27231-3

T3 - Lecture Notes in Computer Science (LNCS)

SP - 5

EP - 19

BT - Proceedings Computer Aided Verification (CAV 2005)

A2 - K.Etessami and S.K.Rajamani, null

PB - Springer

ER -