Case studies of a distributed building energy system incorporating with EVs considering effects of random charging behaviors and time-of-use pricing in electricity