Simultaneous and Sequential Synchronisation in Arrays

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 synchronised state can be periodic,thereby bringing in control of chaos, or chaotic for carefully chosen parameters of the participating units. The synchronised chaotic state is further characterised using variation of the time of synchronisation with coupling coefficient, size of the array etc. In the case of the horizontal array, the total time of synchronisation can be controlled by increasing the coupling coefficient step wise in small bunch of units.Comment: 10 pages 12 figures submitted to European Physical Journa

Synchronisation schemes for two dimensional discrete systems

In this work we consider two models of two dimensional discrete systems subjected to three different types of coupling and analyse systematically the performance of each in realising synchronised states.We find that linear coupling effectively introduce control of chaos along with synchronisation,while synchronised chaotic states are possible with an additive parametric coupling scheme both being equally relevant for specific applications.The basin leading to synchronisationin the initial value plane and the choice of parameter values for synchronisation in the parameter plane are isolatedin each case.Comment: 17 pages 8 figures. submitted to physica script

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. The approach taken led to a more abstract algebra of atomic steps, in which atomic steps synchronise (rather than interleave) when composed in parallel. The algebra of rely/guarantee concurrency then becomes an instantiation of the more abstract algebra. Many of the core properties needed for rely/guarantee reasoning can be shown to hold in the abstract algebra where their proofs are simpler and hence allow a higher degree of automation. The algebra has been encoded in Isabelle/HOL to provide a basis for tool support for program verification. In rely/guarantee concurrency, programs are specified to guarantee certain behaviours until assumptions about the behaviour of their environment are violated. When assumptions are violated, program behaviour is unconstrained (aborting), and guarantees need no longer hold. To support these guarantees a second synchronous operator, weak conjunction, was introduced: both processes in a weak conjunction must agree to take each atomic step, unless one aborts in which case the whole aborts. In developing the laws for parallel and weak conjunction we found many properties were shared by the operators and that the proofs of many laws were essentially the same. This insight led to the idea of generalising synchronisation to an abstract operator with only the axioms that are shared by the parallel and weak conjunction operator, so that those two operators can be viewed as instantiations of the abstract synchronisation operator. The main differences between parallel and weak conjunction are how they combine individual atomic steps; that is left open in the axioms for the abstract operator.Comment: Extended version of a Formal Methods 2016 paper, "An algebra of synchronous atomic steps

CMOS 2.4μm chaotic oscillator: Experimental verification of chaotic encryption of audio

The Letter reports the first experimental verification of chaotic encryption of audio using custom monolithic chaotic oscillators. We use Gm-C techniques to realise a chaotic modulator/ demodulator IC that implements a 3rd-order nonlinear differential equation. This has been fabricated in 2.4μm double-poly technology and includes on-chip tuning circuitry based on amplitude detection. Measurements demonstrate how to exploit the synchronisation between two of these ICs for encrypted transmission

From collective periodic running states to completely chaotic synchronised states in coupled particle dynamics

We consider the damped and driven dynamics of two interacting particles evolving in a symmetric and spatially periodic potential. The latter is exerted to a time-periodic modulation of its inclination. Our interest is twofold: Firstly we deal with the issue of chaotic motion in the higher-dimensional phase space. To this end a homoclinic Melnikov analysis is utilised assuring the presence of transverse homoclinic orbits and homoclinic bifurcations for weak coupling allowing also for the emergence of hyperchaos. In contrast, we also prove that the time evolution of the two coupled particles attains a completely synchronised (chaotic) state for strong enough coupling between them. The resulting `freezing of dimensionality' rules out the occurrence of hyperchaos. Secondly we address coherent collective particle transport provided by regular periodic motion. A subharmonic Melnikov analysis is utilised to investigate persistence of periodic orbits. For directed particle transport mediated by rotating periodic motion we present exact results regarding the collective character of the running solutions entailing the emergence of a current. We show that coordinated energy exchange between the particles takes place in such a manner that they are enabled to overcome - one particle followed by the other - consecutive barriers of the periodic potential resulting in collective directed motion