SREC markets are a relatively novel market-based system to incentivize the production of energy from renewable means (in particular solar). It requires a floor on the amount of energy each firm must generate from solar power in a given period and penalizes them for any shortfall. SREC contracts may be used to offset their generation. In this work, we formulate a stochastic control problem for generating and trading in SREC markets for a regulated firm and discuss potential takeaways for the design of these systems.