This paper presents new methods and results on almost global synchronization of coupled Hopf nonlinear oscillators, which are commonly used as the dynamic model of engineered central pattern generators (CPGs). On balanced graphs, any positive coupling gain is proven to induce almost global asymptotic synchronization, and a threshold value for truly global exponential synchronization is also computed. Furthermore, a hierarchical connection between coupled Hopf oscillators and Kuramoto oscillators is identified. Finally, a new result on the synchronization of Kuramoto oscillators with arbitrary time-varying heterogeneous frequencies and delays is derived.
For the Kuramoto model and its variations, it is difficult to analyze the exponential synchronization under the general digraphs due to the lack of symmetry. %due to the asymmetry of the adjacency matrices. In this paper, for the high-dimensional Kuramoto model of identical oscillators, a matrix Riccati differential equation (MRDE) is proposed to describe the error dynamics. Based on the MRDE, the exponential synchronization is proved by constructing a total error function for the case of digraphs admitting spanning trees. Finally, some numerical simulations are given to illustrate the obtaine…
Kuramoto model is one of the most prominent models for the synchronization of coupled oscillators. It has long been a research hotspot to understand how natural frequencies, the interaction between oscillators, and network topology determine the onset of synchronization. In this paper, we investigate the critical coupling of Kuramoto oscillators on deterministic dense networks, viewed as a natural generalization from all-to-all networks of identical oscillators. We provide a sufficient condition under which the Kuramoto model with non-identical oscillators has one unique and stable equilibrium…
We discuss the asymptotic frequency synchronization for the non-identical Kuramoto oscillators with time delayed interactions. We provide explicit lower bound on the coupling strength and upper bound on time delay in terms of initial configurations ensuring exponential synchronization. This generalizes not only the frequency synchronization estimate by Choi et al. [Physica D, 241, (2012), 735-754] for the non-identical Kuramoto oscillators without time delays but also improves previous result by Schmidt et al. [Automatica, 48, (2012), 3008-3017] in the case of homogeneous time delays where the…
We consider the problem of synchronization of coupled oscillators in a Kuramoto-type model with lossy couplings. Kuramoto models have been used to gain insight on the stability of power networks which are usually nonlinear and involve large scale interconnections. Such models commonly assume lossless couplings and Lyapunov functions have predominantly been employed to prove stability. However, coupling conductances can impact synchronization. We therefore consider a more advanced Kuramoto model that includes coupling conductances, and is characterized by nonhomogeneous coupling weights and non…
The Kuramoto model of coupled phase oscillators is often used to describe synchronization phenomena in nature. Some applications, e.g., quantum synchronization and rigid-body attitude synchronization, involve high-dimensional Kuramoto models where each oscillator lives on the n-sphere or SO(n). These manifolds are special cases of the compact, real Stiefel manifold St(p,n). Using tools from optimization and control theory, we prove that the generalized Kuramoto model on St(p,n) converges to a synchronized state for any connected graph and from almost all initial conditions provided (p,n) satis…
The classical Kuramoto model is studied in the setting of an infinite horizon mean field game. The system is shown to exhibit both synchronization and phase transition. Incoherence below a critical value of the interaction parameter is demonstrated by the stability of the uniform distribution. Above this value, the game bifurcates and develops self-organizing time homogeneous Nash equilibria. As interactions become stronger, these stationary solutions become fully synchronized. Results are proved by an amalgam of techniques from nonlinear partial differential equations, viscosity solutions, st…
We study synchronization properties of systems of Kuramoto oscillators. The problem can also be understood as a question about the properties of an energy landscape created by a graph. More formally, let $G=(V,E)$ be a connected graph and $(a_{ij})_{i,j=1}^{n}$ denotes its adjacency matrix. Let the function $f:\mathbb{T}^n \rightarrow \mathbb{R}$ be given by $$ f(θ_1, \dots, θ_n) = \sum_{i,j=1}^{n}{ a_{ij} \cos{(θ_i - θ_j)}}.$$ This function has a global maximum when $θ_i = θ$ for all $1\leq i \leq n$. It is known that if every vertex is connected to at least $μ(n-1)$ other vertices for $μ$ su…
When higher-order interactions enhance synchronization: the case of the Kuramoto model
RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS)（RIKEN跨学科理论与数学科学中心（iTHEMS））；Department of Systems and Control Engineering, Institute of Science Tokyo（东京科学大学系统与控制工程系）；Research Center for Autonomous Systems Materialogy, Institute of Science Tokyo（东京科学大学自主系统材料学研究中心）；Scuola Superiore Meridionale（南方高等学院）
Synchrony of neuronal ensembles is believed to facilitate information exchange among cortical regions in the human brain. Recently, it has been observed that distant brain areas which are not directly connected by neural links also experience synchronization. Such synchronization between remote regions is sometimes due to the presence of a mediating region connecting them, e.g., \textit{the thalamus}. The underlying network structure of this phenomenon is star-like and motivates us to study the \textit{remote synchronization} of Kuramoto oscillators, {modeling neural dynamics}, coupled by a di…
Recent advances in objective-based uncertainty quantification (objective-UQ) have shown that such a goal-driven approach for quantifying model uncertainty is extremely useful in real-world problems that aim at achieving specific objectives based on complex uncertain systems. Central to this objective-UQ is the concept of mean objective cost of uncertainty (MOCU), which provides effective means of quantifying the impact of uncertainty on the operational goals at hand. MOCU is especially useful for optimal experimental design (OED) as the potential efficacy of an experimental (or data acquisitio…
