En este documento, para sistemas distribuidos espacialmente, proponemos un nuevo método de control predictivo de modelos con especificaciones lógicas espacio-temporales. Formulamos el problema de control de tiempo finito con especificaciones descritas por fórmulas de SSTL (lógica de señales espacio-temporales sobre trazas finitas). En la formulación del problema, la viabilidad está garantizada al representar las especificaciones de control como una penalización en la función de coste. Se introducen pesos variables en el tiempo en la función de coste para satisfacer las especificaciones de control lo mejor posible. El problema de control de tiempo finito se puede escribir como un problema de programación entera mixta (MIP). Según la política de control predictivo de modelos (MPC), la entrada de control se puede generar resolviendo el problema de control de tiempo finito en cada tiempo discreto. La efectividad del método propuesto se presenta a través de un ejemplo numérico.