The phase synchronization problem requires each node to infinitely transfer from one phase to the next one under the restriction that at most two consecutive phases can appear among all nodes. In this paper, we propose a self-stabilizing algorithm under the parallel execution model to solve this problem for semi-uniform systems of general graph topologies. The proposed algorithm is memory-effic...

This paper describes a self-stabilizing version of an algorithm presented by A. Mazurkiewicz [Inform. Process. Lett. 61 (1997) 233–239] for enumerating nodes by local rules on an anonymous network. The result improves the reliability aspects of the original algorithm and underlines the importance of a non-ambiguous topology for a network.  2001 Elsevier Science B.V. All rights reserved.

The exit time and the exit location of a non-markovian diffusion is analyzed. More particularly, we focus on the so-called self-stabilizing process. The question has been studied by Herrmann, Imkeller and Peithmann in [HIP08]. Some results similar to the ones of Freidlin and Wentzell for classical diffusions have been proved. We aim to provide the same results by a method more intuitive. Our ar...

We examine the task of constructing self-stabilizing real-time decision systems, which take their input from an external environment, and present a series of results concerning compilers which force the property of self-stabilization onto such systems. We consider compilers that do and do not preserve termination applied to nite state and innnite state programs.

Dynamics in a distributed system are self-stabilizing if they are guaranteed to reach a stable state regardless of how the system is initialized. Game dynamics are uncoupled if each player’s behavior is independent of the other players’ preferences. For uncoupled players, recognizing an equilibrium is a distributed computational task. Self-stabilizing uncoupled dynamics, then, capture both resi...

Production of high strength carbon fibers from bio-derived precursors is of topical interest. Recently, we reported on dry-spinning of a partially acetylated softwood kraft lignin to produce carbon fibers with superior properties, but the thermo-oxidative stabilization step required a long time due to a slow heating rate needed to prevent the fibers from being heated too rapidly and sticking to...

This paper investigates networked control problems for linear control systems, where the sensors and the controller are connected by a bandwidth-limited, noisy digital communication channel with time delays. For this case, we examine the role communication has on quantized feedback stabilization problems, present quantization, coding, and control schemes, and derive a sufficient condition on th...

This paper investigates the feedback stabilization problem for networked control systems (NCSs) with unbound process noise, where sensors and controllers are connected via noiseless digital channels carrying a finite number of bits per unit time. A sufficient condition for stabilization of NCSs, which relies on a variable-rate digital link used to transmit state measurements, is derived. A lowe...