Stabilization

Chair: Franck Petit

Program Committee Members

Stabilization is the cornerstone of the long series of SSS conferences initiated in 1989. (Self-)Stabilization is the property of an autonomous process to obtain a correct behavior in finite time, regardless of the initial state it was in. In other words, stabilization enables (distributed) systems to automatically recover from unexpected behaviors with respect to an expected behavior. Depending on the system characteristics, such unexpected behaviors can be topological changes, transient faults affecting the process state or the channel content, perturbations of radio waves, etc. Recently, the range of distributed systems, where stabilization offers a promising approach, has largely expanded, e.g., peer-to-peer networks, grid systems, large-scale wireless sensor networks, mobile ad hoc networks, mobile robot networks, nanorobotic, VLSI, etc.

Topics of interest include, but are not limited to:

• stabilization in distributed and networked systems.
• stabilizing and emergent properties in dynamic networks.
• stabilization in the context of VLSI.
• stabilizing features in self-managed, self-assembling, autonomic, or adaptive systems.
• stabilizing features in self-optimizing and self-protecting systems.
• performance and complexity analysis of self-stabilization.
• self-stabilization in decentralized and real-time control applications.
• self-healing applications of self-stabilization.
• models of fault-tolerant communication.
• self-stabilization in agent-based systems.
• impossibility results and lower bounds for stabilization.
• stabilization of code and data.
• algorithms for self-* error detection/correction.
• applications of stabilization, experience reports.
• stochastic, physical, and biological models to analyze self-* properties.