R. Alur
C. Courcoubetis
T. A. Henzinger
P. H. Ho
1992
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
R. L. Grossman
A. Nerode
A. P. Ravn
H. Richel
Hybrid Systems
LNCS
Springer
209–229
10.1007/3-540-57318-6_30
R. Alur
D. L. Dill
1994
A Theory of Timed Automata
Theoret. Comput. Sci.
126
2
183–235
10.1016/0304-3975(94)90010-8
E. Bartocci
F. Corradini
E. Merelli
L. Tesei
2009
Model Checking Biological Oscillators
Electronic Notes in Theoretical Computer Science
299
1
41–58
10.1016/j.entcs.2009.02.004
T. Dang
2010
Model-based testing of hybrid systems
Model-Based Testing for Embedded Systems
CRC Press
10.1201/b11321-15
T. Dang
T. Nahhal
2009
Coverage-guided test generation for continuous and hybrid systems
Form. Methods Syst. Des.
34
2
183–213
10.1007/s10703-009-0066-0
P. Dluhos
L. Brim
D. Safr‡nek
2012
On Expressing and Monitoring Oscillatory Dynamics
HSB 2012
10.4204/EPTCS.92.6
M. M. Donahue
G. Buzzard
A. E. Rundell
2009
Robust parameter identification with adaptive sparse grid-based optimization for nonlinear systems biology models
ACC Conference
10.1109/ACC.2009.5160512
R. Ghaemi
D. Del Vecchio
2007
Evaluating the robustness of a biochemical network model
Decision and Control, 2007 46th IEEE Conference on
615–620
10.1109/CDC.2007.4434348
R. Ghaemi
J. Sun
P. A. Iglesias
D. Del Vecchio
2009
A Method for determining the robustness of bio-molecular oscillator models
BMC Systems Biology
3
95
10.1186/1752-0509-3-95
J. Kim
D. G. Bates
I. Postlethwaite
L. Ma
P. A. Iglesias
2006
Robustness analysis of biochemical network models
IEE Proc. Systems Biology
153
2
96–104
10.1049/ip-syb:20050024
M.T. Laub
W.F. Loomis
1998
A molecular network that produces spontaneous oscillations in excitable cells of Dictyostelium
Molecular biology of the cell
9
12
3521–3532
10.1091/mbc.9.12.3521
R. Motwani
P. Raghavan
1995
Randomized algorithms
Cambridge University Press
New York, NY, USA
10.1017/CBO9780511814075
Y. Nonaka
H. Ono
K. Sadakane
M. Yamashita
2010
The hitting and cover times of Metropolis walks
Theoret. Comput. Sci.
411
16–18
1889 – 1894
10.1016/j.tcs.2010.01.032
Kuznetsov Y.
2004
Elements of Applied Bifurcation Theory
Springer