Self-stabilizing systems with distributed control