메뉴 건너뛰기




Volumn 229, Issue 1, 2009, Pages 41-58

Model Checking Biological Oscillators

Author keywords

KSL; Kuramoto model; model checking; oscillator timed automata; Spontaneous synchronization

Indexed keywords

INFORMATION THEORY; OSCILLATORS (ELECTRONIC); ROBOTS; SYNCHRONIZATION; TRANSLATION (LANGUAGES);

EID: 60449094925     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.02.004     Document Type: Article
Times cited : (15)

References (18)
  • 6
    • 0024165008 scopus 로고
    • Synchronous rhythmic flashing of fireflies II
    • Buck J. Synchronous rhythmic flashing of fireflies II. The Quarterly Review of Biology 63 (1988) 265-289
    • (1988) The Quarterly Review of Biology , vol.63 , pp. 265-289
    • Buck, J.1
  • 8
    • 0026164976 scopus 로고
    • Ionic and synaptic mechanisms underlying a brainstem oscillator: An in vitro study of the pacemaker nucleus of apteronotus
    • Dye J. Ionic and synaptic mechanisms underlying a brainstem oscillator: An in vitro study of the pacemaker nucleus of apteronotus. Journal of Comparative Physiology 168 (1991) 521-532
    • (1991) Journal of Comparative Physiology , vol.168 , pp. 521-532
    • Dye, J.1
  • 11
    • 0001434383 scopus 로고
    • Phase dynamics of weakly unstable periodic structures: Condensed matter and statistical physics
    • Kuramoto Y. Phase dynamics of weakly unstable periodic structures: Condensed matter and statistical physics. Progress of theoretical physics 71 (1984) 1182-1196
    • (1984) Progress of theoretical physics , vol.71 , pp. 1182-1196
    • Kuramoto, Y.1
  • 12
    • 44949272252 scopus 로고
    • Collective synchronization of pulse-coupled oscillators and excitable units
    • Kuramoto Y. Collective synchronization of pulse-coupled oscillators and excitable units. Physica D 50 (1991) 15-30
    • (1991) Physica D , vol.50 , pp. 15-30
    • Kuramoto, Y.1
  • 15
    • 0003913214 scopus 로고
    • Courant Institute of Mathematical Sciences, New York University, New York
    • Peskin C.S. Mathematical Aspects of Heart Physiology (1975), Courant Institute of Mathematical Sciences, New York University, New York
    • (1975) Mathematical Aspects of Heart Physiology
    • Peskin, C.S.1
  • 17
    • 33747889656 scopus 로고    scopus 로고
    • Synchronizing a multicellular system by external input: an artificial control strategy
    • Wang R., Chen L., and Aihara K. Synchronizing a multicellular system by external input: an artificial control strategy. Bioinformatics 22 (2006) 1775-1781
    • (2006) Bioinformatics , vol.22 , pp. 1775-1781
    • Wang, R.1    Chen, L.2    Aihara, K.3
  • 18
    • 0014108715 scopus 로고
    • Biological rhythms and the behavior of populations of coupled oscillators
    • Winfree A.T. Biological rhythms and the behavior of populations of coupled oscillators. Journal of Theoretical Biology 16 (1967) 15-42
    • (1967) Journal of Theoretical Biology , vol.16 , pp. 15-42
    • Winfree, A.T.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.