Model checking biological oscillators

DOI10.1016/J.ENTCS.2009.02.004zbMATH Open1283.92008OpenAlexW2152639018WikidataQ124343753 ScholiaQ124343753MaRDI QIDQ5404073FDOQ5404073

Authors: Ezio Bartocci, Emanuela Merelli, Luca Tesei, 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

Recommendations

• Detecting synchronisation of biological oscillators by model checking
• Synchronization of Pulse-Coupled Biological Oscillators
• Investigating parametric influence on discrete synchronisation protocols using quantitative model checking
• Analysing biochemical oscillation through probabilistic model checking
• Multi-scale verification of distributed synchronisation

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)

Cites Work

• StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
• A theory of timed automata
• A really temporal logic
• Chemical oscillations, waves, and turbulence
• Collective synchronization of pulse-coupled oscillators and excitable units
• Synchronization of Pulse-Coupled Biological Oscillators
• Symbolic model checking for real-time systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Phase dynamics of weakly unstable periodic structures.

Cited In (9)

• Investigating parametric influence on discrete synchronisation protocols using quantitative model checking
• Analyzing oscillatory behavior with formal methods
• Yakubovich's oscillatority of circadian oscillations models
• Analysing biochemical oscillation through probabilistic model checking
• Analysis of biological integrate-and-fire oscillators
• Limit Cycles and Bifurcations in a Biological Clock Model
• On Proving the Absence of Oscillations in Models of Genetic Circuits
• Detecting synchronisation of biological oscillators by model checking
• Balanced truncation for model reduction of biological oscillators

Uses Software

• StonyCam

This page was built for publication: Model checking biological oscillators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404073)