A. Halász et al.
2007
Analysis of lactose metabolism in E.coli using reachability analysis of hybrid systems
Systems Biology, IET
1
2
130 –148
10.1049/iet-syb:20060035
E. Asarin et al.
2006
Recent progress in continuous and hybrid reachability analysis
Computer Aided Control System Design, IEEE International Conference on Control Applications
1582 –1587
10.1109/CACSD-CCA-ISIC.2006.4776877
G. Batt et al.
2008
Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
Automatica
44
982–989
10.1016/j.automatica.2007.08.004
G. Batt et al.
2008
Temporal Logic Analysis of Gene Networks under Parameter Uncertainty
IEEE Transactions of Automatic Control
53
215–229
10.1109/TAC.2007.911330
H. Kitano et al.
2001
Foundations of Systems Biology
The MIT Press
J. Barnat et al.
2009
Computational Analysis of Large-Scale Multi-Affine ODE Models
2009 International Workshop on High Performance Computational Systems Biology (HiBi 2009)
IEEE Computer Society Press
81–90
J. Tyson et al.
1996
Chemical kinetic theory: understanding cell-cycle regulation
Trends in Biochemical Sciences
21
89–96
L. Doyen et al.
2005
Automatic Rectangular Refinement of Affine Hybrid Systems
Formal Modeling and Analysis of Timed Systems
LNCS
3829
Springer Berlin / Heidelberg
144–161
10.1007/11603009_13
P.T. Monteiro et al.
2008
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
ECAI
Frontiers in Artificial Intelligence and Applications
178
IOS Press
229–233
10.3233/978-1-58603-891-5-229
S. Jha et al.
2009
A Bayesian Approach to Model Checking Biological Systems
CMSB'09
LNCS
Springer
218–234
10.1007/978-3-642-03845-7_15
G. Antoine
G. Pappas
2006
Verification Using Simulation
HSCC'06
LNCS
3927
Springer
272–286
10.1007/11730637_22
E. Asarin
T. Dang
A. Girard
2007
Hybridization methods for the analysis of nonlinear systems
Acta Inf.
43
451–476
10.1007/s00236-006-0035-7
J. Barnat
L. Brim
D. Šafránek
2010
High-performance analysis of biological systems dynamics with the DiVinE model checker
Brief. in Bioinformatics
11
301–312
10.1093/bib/bbp074
C. Belta
L.C. Habets
2006
Controlling a class of nonlinear systems on rectangles
IEEE Transactions on Automatic Control
51
11
1749–1759
10.1109/TAC.2006.884957
S. Berman
Á. Halász
V. Kumar
2007
MARCO: a reachability algorithm for multi-affine systems with applications to biological systems
HSCC'07
LNCS
Springer-Verlag
Berlin, Heidelberg
76–89
10.1007/978-3-540-71493-4_9
L. Brim
J. Fabrikova
S. Drazan
D. Safranek
2011
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Technical Report
arXiv:1107.5924v1
Masaryk University
Full version of COMPMOD 2011 paper.
E. M. Clarke
E. A. Emerson
A. P. Sistla
1986
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Trans. Program. Lang. Syst.
8
244–263
10.1145/5397.5399
T. Dang
C. Le Guernic
O. Maler
2009
Computing Reachable States for Nonlinear Biological Models
CMSB'09
LNCS
5688
Springer Berlin / Heidelberg
126–141
10.1016/j.tcs.2011.01.014
M. Feinberg
1987
Chemical reaction network structure and the stability of complex isothermal reactors I. The deficiency zero and the deficiency one theorems
Chemical Engineering Science
42
2229–2268
J. Fisher
T. A. Henzinger
2007
Executable cell biology
Nature biotechnology
25
11
1239–1249
10.1038/nbt1356
L.C. Habets
J. H. van Schuppen
2004
A control problem for affine dynamical systems on a full-dimensional polytope
Automatica
40
1
21 – 35
10.1016/j.automatica.2003.08.001
Philip Hartman
2002
Ordinary Differential Equations
2nd
Society for Industrial and Applied Mathematics
Philadelphia, PA, USA
F. Horn
R. Jackson
1972
General mass action kinetics
Archive for Rational Mechanics and Analysis
47
81–116
10.1007/BF00251225
M. Kloetzer
C. Belta
2010
Reachability analysis of multi-affine systems
Transactions of the Institute of Measurement and Control
32
445–467
10.1007/11730637_27
F. J. Krambeck
1970
The mathematical structure of chemical kinetics in homogeneous single-phase systems
Archive for Rational Mechanics and Analysis
38
317–347
10.1007/BF00251527
H. Ma
F. Boogerd
I. Goryanin
2009
Modelling nitrogen assimilation of Escherichia coli at low ammonium concentration
Journal of Biotechnology
144
175–83
10.1016/j.jbiotec.2009.09.003
O. Maler
G. Batt
2008
Approximating Continuous Systems by Timed Automata
Proceedings of the 1st international workshop on Formal Methods in Systems Biology
FMSB '08
Springer
77–89
10.1007/978-3-540-68413-8_6
G. F. Oster
A. S. Perelson
1974
Chemical reaction dynamics
Archive for Rational Mechanics and Analysis
55
230–274
10.1007/BF00281751
A. Rizk
G. Batt
F. Fages
S. Soliman
2009
A general computational method for robustness analysis with applications to synthetic gene networks
Bioinformatics
25
i169–i178
10.1093/bioinformatics/btp200
Walter Rudin
1974
Real and complex analysis
2nd
McGraw-Hill New York