Optimal Sizing of Stand-alone Solar PV Systems via Automated Formal Synthesis

Alessandro Trindade, Lucas Cordeiro

There exist various methods and tools to size solar photovoltaic systems; however, these tools rely on simulations, which do not cover all aspects of the design space during the se…