The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

This publication has 20 references indexed in Scilit:

• Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
  Lecture Notes in Computer Science, 2017
• Probabilistic Model Checking of Ant-Based Positionless Swarming
  Lecture Notes in Computer Science, 2016
• Remarks on the Cellular Automaton Global Synchronisation Problem
  2015
• Analysis of a clock synchronization protocol for wireless sensor networks
  Theoretical Computer Science, 2012
• Energy-efficient algorithms
  Communications of the ACM, 2010
• Detecting synchronisation of biological oscillators by model checking
  Theoretical Computer Science, 2010
• Synchronization of pulse-coupled oscillators with a refractory period and frequency distribution for a wireless sensor network
  Chaos: An Interdisciplinary Journal of Nonlinear Science, 2008
• Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
  Lecture Notes in Computer Science, 2006
• Self-entrainment of a population of coupled non-linear oscillators
  2005
• From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
  2003