Agregación y Control de Poblaciones de Cargas Controladas Termostáticamente mediante Abstracciones Formales

Este documento discute un procedimiento de dos etapas, basado en el uso de abstracciones formales, para generar un modelo dinámico estocástico de espacio finito como una agregación de la dinámica de temperatura continua de una población homogénea de cargas controladas termostáticamente (TCLs). La temperatura de un TCL se describe mediante una ecuación de diferencia estocástica y el estado del TCL (ENCENDIDO, APAGADO) mediante un mecanismo de conmutación determinístico. El procedimiento se considera formal, ya que permite la cuantificación del error introducido por la abstracción. Como tal, se basa y mejora una técnica de aproximación conocida y anterior utilizada en la literatura. Además, la contribución discute la extensión al caso de poblaciones heterogéneas de TCLs mediante dos enfoques. También investiga el problema del seguimiento de referencia de potencia global (a nivel de población) y el balanceo de cargas para TCLs que dependen explícitamente de una entrada de control. El procedimiento se prueba en un caso de estudio y se compara con el enfoque existente mencionado en la literatura.