In this research, carbon emissions and carbon savings in the smart grid are modelled and quantified. Carbon emissions are defined as the product of the activity (energy) and the corresponding carbon factor. The carbon savings are estimated as the difference between the conventional and improved energy usage multiplied by the corresponding carbon factor. An adaptive seasonal model based on the hyperbolic tangent function (HTF) is developed to define seasonal and daily trends of electricity demand and the resultant carbon emissions. A stochastic model describing profiles of energy usage and carbon emissions for groups of consumers is developed. The flexibility of the HTF for modelling cycles of energy consumption is demonstrated and discussed with several case studies. The analytical description to determine electricity grid carbon intensity in the UK is derived, using the available fuel mix data from the Elexon portal. The uncertain realisation of energy data is forecasted and assimilated using the ensemble Kalman filter (EnKF). The numerical optimisation of carbon emissions and savings in the smart grid is further performed using the ensemble-based Closed-loop Production Optimisation Scheme (EnOpt). The EnOpt involves the optimisation of fuel costs and carbon emissions (maximisation of carbon savings) in the smart grid subject to the operational control constraints. The software codes for the based on the application of EnKF and EnOpt are developed, and the optimisation of energy, cost and emissions is performed. The numerical simulation shows the ability of EnKF in forecasting and assimilating the energy data, and the robustness of the EnOpt in optimising costs and carbon savings. The proposed approach addresses the complexity and diversity of the power grid and may be implemented at the level of the transmission operator in collaboration with the operational wholesale electricity market and distribution network operators. The final stage of work includes the quantification of carbon emissions and savings in demand response (DR) programmes. DR programmes such as Short Term Operating Reserve (STOR), Triad, Fast Reserve, Frequency Control by Demand Management (FCDM) and smart meter roll-out are included, with various types of smart interventions. The DR programmes are modelled with appropriate configurations and assumptions in power plants used in the energy industry. This enables the comparison of emissions between the business-as-usual (BAU) and the smart solutions applied, thus deriving the carbon savings. Several case studies involving the modelling and analysing DR programmes are successfully performed. Thus, the thesis represents novel analytical and numerical techniques applied in the fast-growing UK market of smart energy solutions.

La thèse est composée de deux parties. La première partie traite de la gestion des qualifications dans l'industrie des semi-conducteurs. La contrainte de qualification définit l'éligibilité d'une machine à processer un produit. La gestion des qualifications nécessite de résoudre un problème d'allocation et d'équilibrage des charges sur des machines parallèles non-identiques et partiellement reconfigurables. Nous avons défini et introduit des indicateurs pour la gestion des qualifications en tenant compte de la capacité des équipements ainsi que la contrainte de regroupements de lots (batching). Plusieurs algorithmes d'équilibrage de charge sont proposés et validés pour le calcul de la charge optimale sur un parc d'équipements. Ce concept est industrialisé au sein de l'entreprise Soitec et fait partie du processus de prise de décision.La deuxième partie de la thèse porte sur la planification de production en boucle fermée. Le processus de fabrication des plaques SOI à Soitec s'appuie sur la Technologie Smart-Cut. En utilisant cette technologie, une des deux matières premières peut être réutilisée à plusieurs reprises pour la fabrication des produits finis. Le couplage de deux lignes de production crée un système manufacturier en boucle fermée. Nous avons proposé un modèle de dimensionnement de lots original pour la planification de production de ce système manufacturier, que nous avons validé avec des données industrielles. En se basant sur le problème industriel, un problème mono-produit et sans contrainte de capacité est défini, analysé et résolu pour une version simplifiée du problème. / In the first part, we take a binding restriction, called qualification, present in semiconductor manufacturing as a lever for increasing flexibility and optimizing capacity utilization. A qualification determines the processing authorization of a product on a machine (like an eligibility constraint). In order to define the best qualification, the production volume should be allocated to parallel non-identical machines which are partially reconfigurable. Capacitated flexibility measures are introduced to define the best qualification which increases machine capacity utilization at most. Batching is another industrial constraint encountered in semiconductor industry. It influences workload balancing and qualification management. Several workload balancing algorithms are proposed to find the optimal workload balance of a workcenter. Variability measures are also proposed to evaluate the workload variability of a workcenter. The second part deals with closed-loop production planning. Soitec uses Smart-Cut Technology to fabricate SOI wafers. Using this technology, one of the two raw materials used to fabricate SOI wafers can be reused several times to make other SOI wafers. However, before coming back to the SOI fabrication line, the used raw material (by-product) must be reworked in another production line. An original closed-loop production planning model adapted to the supply chain specificities of Soitec is proposed, and is validated using industrial data. Based on this industrial model, a single-item uncapacitated closed-loop lot-sizing model is defined, analyzed, and a dynamic programming algorithm is proposed for a simplified version of the problem.