A novel stochastic home energy management system considering negawatt trading