We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging behaviour, after a period of time in which they interact through physical or chemical means. We introduce a parametric semantics for their interaction that is general enough to capture the behaviour of different types of ...

This paper addresses the problem of optimisation of the synchronisation for a class of uncertain chaotic systems from a control theoretic point of view. A robust adaptive feedback which accomplishes the synchronisation of chaotic systems using an optimal tuning scheme based on Riccatti equations is successfully adapted. The underlying idea is to optimise the synchronisation of chaotic systems b...

Synchronisation and pattern formation have been intensely addressed for systems evolving on static networks. Extending the study to include inherent ability of network adjust over time proved cumbersome led conclusions which lack generality, as relying peculiar assumptions. Here, master stability formalism is extended account, in a thoroughly general prospect, additional contributions stemming ...

The latest state-of-the-art Computer Aided Production Engineering (CAPE) simulation technology offers OPC integration for PLC verification. A critical drawback with this technology has been identified and described within this paper. A new time synchronisation method and a simulation architecture are therefore presented and proposed. The time synchronisation method together with the architectur...

Existing user-level network interfaces deliver high bandwidth, low latency performance to applications, but are typically unable to support diverse styles of communication and are unsuitable for use in multiprogrammed environments. Often this is because the network abstraction is presented at too high a level, and support for synchronisation is inflexible. In this paper we present a new primiti...

We used the normalised data set available at http://genome-www.stanford.edu/cellcycle/data/ rawdata/combined.txt. This expression data set [9] comes from yeast cultures synchronised by four independent methods: alpha for alpha factor arrest, elu for elutriation, cdc15 for arrest of a cdc15 temperature-sensitive mutant, cdc28 for arrest of a cdc28 temperature-sensitive mutant (from [2]). As expl...

Synchronisation algorithms are central to collaborative editing software. As collaboration is increasingly mediated by mobile devices, the energy efficiency for such algorithms is interest to a wide community of application developers. In this paper we explore the differential synchronisation (diffsync) algorithm with respect to energy consumption on mobile devices. Discussions within this pape...

A method of efficiently implementing a continuous MAP decoding algorithm is presented. A sliding window technique is used to reduce the block size at the expense of extra computations. The smaller block size results in a large reduction in memory storage requirements, reduced delay, and the ability to implement a continuous MAP decoder. A technique for reducing the synchronisation time for a tu...

Authentication is one of the foremost goals of many security protocols. It is most often formalised as a form of agreement, which expresses that the communicating partners agree on the values of a number of variables. In this paper we formalise and study an intensional form of authentication which we call synchronisation. Synchronisation expresses that the messages are transmitted exactly as pr...