3 citations · 3 across the 1 of their papers we have counts for
2 papers
eess.SY2019★ 3 cited
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…
cs.LO2018
Automated Verification of Stand-alone Solar Photovoltaic Systems
Alessandro Trindade, Lucas Cordeiro
With declining costs and increasing performance, the deployment of renewable energy systems is growing faster. Particular attention is given to stand-alone solar photovoltaic syste…