Detecting synchronisation of biological oscillators by model checking

DOI10.1016/j.tcs.2009.12.019zbMath1209.68311OpenAlexW2030949004WikidataQ124343750 ScholiaQ124343750MaRDI QIDQ969176

Flavio Corradini, Luca Tesei, Emanuela Merelli, Ezio Bartocci

Publication date: 11 May 2010

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.12.019

zbMATH Keywords

simulationtimed automatamodel checkingKuramoto modelbiological oscillatorscomputational systems biologypacemaker cellsPeskin modelspontaneous synchronisation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Model Checking of Biological Systems ⋮ STL*: extending signal temporal logic with signal-value freezing operator ⋮ Multi-scale verification of distributed synchronisation

Uses Software

• Kronos
• StonyCam
• IF-2.0
• Uppaal

Cites Work

• Chemical oscillations, waves, and turbulence
• Collective synchronization of pulse-coupled oscillators and excitable units
• A theory of timed automata
• Symbolic model checking for real-time systems
• Phase Dynamics of Weakly Unstable Periodic Structures
• Extending CTL with Actions and Real Time
• Synchronization of Pulse-Coupled Biological Oscillators
• Approximating Continuous Systems by Timed Automata
• StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
• A really temporal logic
• Model-checking for real-time systems
• Model Checking Biological Oscillators
• Formal Methods for the Design of Real-Time Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Detecting synchronisation of biological oscillators by model checking