Detecting synchronisation of biological oscillators by model checking
type: Item
instance of: scholarly article
title: Detecting synchronisation of biological oscillators by model checking
zbMATH Open document ID: 1209.68311
author: Ezio Bartocci
author: Flavio Corradini
author: Emanuela Merelli
author: Luca Tesei
published in: Theoretical Computer Science
publication date: 2010-05-11T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5707084
zbMATH Keywords: computational systems biology
zbMATH Keywords: timed automata
zbMATH Keywords: biological oscillators
zbMATH Keywords: model checking
zbMATH Keywords: simulation
zbMATH Keywords: spontaneous synchronisation
zbMATH Keywords: Kuramoto model
zbMATH Keywords: Peskin model
zbMATH Keywords: pacemaker cells
Wikidata QID: Q124343750
describes a project that uses: StonyCam
describes a project that uses: Uppaal
describes a project that uses: Kronos
describes a project that uses: IF-2.0
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.12.019
OpenAlex ID: W2030949004
cites work: Q4055412
cites work: Phase dynamics of weakly unstable periodic structures.
cites work: Model Checking Biological Oscillators
cites work: Collective synchronization of pulse-coupled oscillators and excitable units
cites work: Synchronization of Pulse-Coupled Biological Oscillators
cites work: Chemical oscillations, waves, and turbulence
cites work: A theory of timed automata
cites work: Symbolic model checking for real-time systems
cites work: Extending CTL with Actions and Real Time
cites work: Model-checking for real-time systems
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Approximating Continuous Systems by Timed Automata
cites work: Q4948548
cites work: Q4503930
cites work: A really temporal logic
cites work: Q4445112
cites work: Q4806206
cites work: StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
DOI: 10.1016/J.TCS.2009.12.019
Recommended article: Model Checking Biological Oscillators
Recommended article: Analysing Biochemical Oscillation through Probabilistic Model Checking
Recommended article: Synchronization of Pulse-Coupled Biological Oscillators
Recommended article: Q3017187
Recommended article: Synchronization analysis for a class of genetic oscillator networks
Recommended article: Analysis of biological integrate-and-fire oscillators
Recommended article: The mathematical modeling of entrained biological oscillators
Recommended article: Detection of cellular rhythms and global stability within interlocked feedback systems
Recommended article: Biological Receptor Scheme for the Robust Synchronization of Limit Cycle Oscillators
Recommended article: Synchronization of Oscillatory Gene Networks
description: scientific article; zbMATH DE number 5707084