“…A scheduling algorithm for peak-load shaving was introduced in [26], which was a means of improving the efficiency of a smart grid. The domestic power load is separated from the grid dynamics by the proposed architecture, and appliances are represented as finite state machines whose interface is triggered with input signals ("clock," "start," "stop," and "time"), outputting "status," "pre-emption," "required energy," "heuristic value," "power load," and "nominal power."…”