Model Checking Biological Oscillators

DOI10.1016/j.entcs.2009.02.004zbMath1283.92008OpenAlexW2152639018WikidataQ124343753 ScholiaQ124343753MaRDI QIDQ5404073

Luca Tesei, Emanuela Merelli, Ezio Bartocci, Flavio Corradini

Publication date: 21 March 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.004

zbMATH Keywords

model checkingKuramoto modelspontaneous synchronizationKSLoscillator timed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Neural networks for/in biological studies, artificial life and related topics (92B20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Analyzing Oscillatory Behavior with Formal Methods ⋮ Detecting synchronisation of biological oscillators by model checking

Uses Software

• StonyCam

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• Synchronization of Pulse-Coupled Biological Oscillators
• StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
• A really temporal logic

This page was built for publication: Model Checking Biological Oscillators