Redispatch Model for Real-Time Operation with High Solar-Wind Penetration and Its Adaptation to the Ancillary Services Market | Synapse