Weather Impact on DER Long-term Performance: A Formal Verification Approach

Distributed energy resources (DERs), such as solar photovoltaic (PV) panels, are essential to modern energy systems, providing resilience and producing clean, local energy. However, their long-term performance is vulnerable to environmental factors, often leading to undetected issues due to the complexity of systematic monitoring. To address this, we propose a work-in-progress approach leveraging stochastic modeling to analyse and verify system requirements. This approach enables a rigorous evaluation of performance under varying weather conditions, as shown in our preliminary results, representing a significant step forward in managing renewable energy resources effectively.