This paper proposes a formulation of the global energy management problem of dwellings, which consists in a dynamic predictive control system able to generate optimized controls taking into account the model of the concerned dwellings, i.e. homes or offices. It focuses on the adjustment of the electric energy consumption and production in order to maximize energy usage efficiency, which is seen as a compromise between energy cost and overall comfort. To reach this objective, the concept of service is introduced: basically, a service participates to the comfort and may consume energy. The available flexibilities of the services provided by domestic appliances are used to compute anticipative optimal plans for appliance controls based on a mixed integer linear programming (MILP) algorithm. A reactive mechanism based on a list algorithm is added to face unforeseen events. The paper focuses on the computation of the anticipative plans. Different MILP models of common services are proposed. Application examples are given. (C) 2011 Elsevier B.V. All rights reserved.