Day-ahead dispatch with carbon trading for multi-regulation participation and emission reduction considering multi-type energy storage | Synapse