Real-time pricing considering carbon constraints for smart grid with multiple energy sources | Synapse