Related papers: Examples of Models of the Asynchronous Circuits

We assume that the energy spectrum of a chaotic system undergoing symmetry breaking transitions can be represented as a superposition of independent level sequences, one increasing on the expense of the others. The relation between the…

Spectral properties and transition to instability in neutral delay differential equations are investigated in the limit of large delay. An approximation of the upper boundary of stability is found and compared to an analytically derived…

Consistency properties of concurrent computations, e.g., sequential consistency, linearizability, or eventual consistency, are essential for devising correct concurrent algorithms. In this paper, we present a logical formalization of such…

Time lags occur in a vast range of real-world dynamical systems due to finite reaction times or propagation speeds. Here we derive an analytical approach to determine the asymptotic stability of synchronous states in networks of coupled…

We show that for large coupling delays the synchronizability of delay-coupled networks of identical units relates in a simple way to the spectral properties of the network topology. The master stability function used to determine stability…

Recurrence is a fundamental characteristic of dynamical systems with complicated behavior. Understanding the inner structure of recurrence is challenging, especially if the system has many degrees of freedom and is subject to noise. We…

We study how a coupled array of spiking chaotic systems synchronizes to an external driving in a short time. Synchronization means spike separation at adjacent sites much shorter than the average inter-spike interval; a local lack of…

Shared Memory is a mechanism that allows several processes to communicate with each other by accessing -- writing or reading -- a set of variables that they have in common. A Consistency Model defines how each process observes the state of…

Model checking is the process of deciding whether a system satisfies a given specification. Often, when the setting comprises multiple processes, the specifications are over sets of input and output signals that correspond to individual…

The examples of rhythmical signals with variable period are considered. The definition of periodic function with the variable period is given as a model of such signals. The examples of such functions are given and their variable periods…

Dependent symmetries, symmetries that depend on the situation of the subsystem in a larger closed system, are explored by looking at simple examples. This is a new kind of symmetry in the open quantum dynamics of a subsystem Each symmetry…

In this note, we discuss a number of parametricity features and what their requirements are in terms of complexity of the type system and its model.

Effects of synchronization in a system of two coupled oscillators with time-delayed feedback are investigated. Phase space of a system with time delay is infinite-dimensional. Thus, the picture of synchronization in such systems acquires…

We present a theory for self-driven fluids, such as motorized cytoskeletal extracts or bacterial suspensions, that takes into account the underlying periodic duty cycle carried by the active particles of which the system is composed. We…

We provide explicit conditions for uniform stability, global asymptotic stability and uniform exponential stability for dynamic equations with a single delay and a nonnegative coefficient. Some examples on nonstandard time scales are also…

Asynchronous programming has appeared as a programming style that overcomes undesired properties of concurrent programming. Typically in asynchronous models of programming, methods are posted into a post list for latter execution. The order…

Given a discrete-state continuous-time reactive system, like a digital circuit, the classical approach is to first model it as a state transition system and then prove its properties. Our contribution advocates a different approach: to…

Network couplings of oscillatory large-scale systems, such as the brain, have a space-time structure composed of connection strengths and signal transmission delays. We provide a theoretical framework, which allows treating the spatial…

Modeling a sequence of design steps, or a sequence of parameter settings, yields a sequence of dynamical systems. In many cases, such a sequence is intended to approximate a certain limit case. However, formally defining that limit turns…

Phase-coupled oscillators serve as paradigmatic models of networks of weakly interacting oscillatory units in physics and biology. The order parameter which quantifies synchronization was so far found to be chaotic only in systems with…