Model checking biological oscillators

DOI10.1016/J.ENTCS.2009.02.004MaRDI QIDQ5404073zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

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

Cited in

(10)

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

Describes a project that uses

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)