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

Alessandro Trindade Lucas C. Cordeiro

Published in: CoRR (2019)

Keyphrases

maximum power point tracking
formal methods
management system
machine learning
artificial intelligence
complex systems
distributed systems
computer systems
learning systems
program synthesis
data mining
genetic algorithm
optimal solution
state space
intelligent systems
building blocks