MPC-Based Appliance Scheduling for Residential Building Energy Management Controller | Synapse