Related papers: Formalization of Phase Ordering
The purpose of this paper is to address some of the challenges of formally specifying components of shared-memory concurrent programs. The focus is to provide an abstract specification of a component that is suitable for use both by clients…
The theory of phase ordering dynamics -- the growth of order through domain coarsening when a system is quenched from the homogeneous phase into a broken-symmetry phase -- is reviewed, with the emphasis on recent developments. Interest will…
This paper presents a method for synthesizing a reactive program which coordinates the actions of a group of other reactive programs, so that the combined system satisfies a temporal specification of its desired long-term behavior.…
This paper addresses important control and observability aspects of the phase synchronization of two oscillators. To this aim a feedback control framework is proposed based on which issues related to master-slave synchronization are…
Traces and their extension called combined traces (comtraces) are two formal models used in the analysis and verification of concurrent systems. Both models are based on concepts originating in the theory of formal languages, and they are…
The ubiquity of networking infrastructure in modern life necessitates scrutiny into networking fundamentals to ensure the safety and security of that infrastructure. The formalization of concurrent algorithms, a cornerstone of networking,…
Arrays of coupled limit-cycle oscillators represent a paradigmatic example for studying synchronization and pattern formation. They are also of direct relevance in the context of currently emerging experiments on nano- and optomechanical…
The influence of topological defects on phase synchronization and phase coherence in two-dimensional arrays of locally-coupled, nonidentical, chaotic oscillators is investigated. The motion of topological defects leads to a breakdown of…
Spontaneous synchronization is a fundamental phenomenon, important in many theoretical studies and applications. Recently this effect has been analyzed and observed in a number of physical systems close to the quantum mechanical regime. In…
We consider the patterns of collective motion emerging when many aligning, self-propelling units move in two dimensions while interacting through a repulsive potential and are also subject to delays and random perturbations. In this…
We present different classes of solutions to the Firing Squad Synchronization Problem on networks of different shapes. The nodes are finite state processors that work at unison discrete steps. The networks considered are the line, the ring…
Network alignment, or the task of finding corresponding nodes in different networks, is an important problem formulation in many application domains. We propose CAPER, a multilevel alignment framework that Coarsens the input graphs, Aligns…
This paper studies a scheduling problem in a parallel machine setting, where each machine must adhere to a predetermined fixed order for processing the jobs. Given $n$ jobs, each with processing times and deadlines, we aim to minimize the…
We investigate the characteristics of temporal phase locking states observed in the route to phase synchronization. It is found that before phase synchronization there is a periodic phase synchronization state characterized by periodic…
With the rise of data-centric process management paradigms, interdependent processes, such as artifacts or object lifecycles, form a business process through their interactions. Coordination processes may be used to coordinate these…
The phase oscillator model with global coupling is extended to the case of finite-range nonlocal coupling. Under suitable conditions, peculiar patterns emerge in which a quasi-continuous array of identical oscillators separates sharply into…
"Phase-locking" is a fundamental phenomenon in which coupled or periodically forced oscillators synchronise. The Arnold family of circle maps, which describes a forced oscillator, is the simplest mathematical model of phase-locking and has…
We make a short review about the synchronization in coupled phase oscillator models. Next, we study the common-noise-induced synchronization among active rotators. At an intermediate noise strength, the noise-induced synchronization takes…
We derive rigorous conditions for the synchronization of all-optically coupled lasers. In particular, we elucidate the role of the optical coupling phases for synchronizability by systematically discussing all possible network motifs…
We discuss the possibility of simultaneous and sequential synchronisation in vertical and horizontal arrays of unidirectionally coupled discrete systems. This is realized for the specific case of two dimensional Gumowski-Mira maps. The…