A power scheduling game for reducing the peak demand of residential users