For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two well-known self-stabilizing algorithms under these fault models. For a small number of processes, the properties of interest are verified automatically using probabilistic model-checking tools. For a large number of processes, th...

Abstract: This paper gives a new modeling and passivity based control of a class of fluid mechanical systems with Casimir functions. First, we propose two stabilization methods, a new dynamic asymptotic stabilization method and a new partial stabilization method. Second, we give a new model of a class of hydraulic mechanical systems using Casimir functions. Furthermore, the proposed two stabili...

This paper presents improved relaxed stabilization conditions and design procedures of state observer based controllers for continuous nonlinear systems in T-S model representation. First, the T-S model approach for nonlinear systems and some stabilization results are recalled. New stabilization conditions are obtained by relaxing those derived in previous works in this field. The asymptotic an...

The paper is concerned with the boundary controllability of entropy weak solutions to hyperbolic systems of conservation laws. We prove a general result on the asymptotic stabilization of a system near a constant state. On the other hand, we give an example showing that exact controllability in finite time cannot be achieved, in general.

By using concrete scenarios, we present and discuss a new concept of probabilistic Self-Stabilization in Distributed Systems.