Skip to main content

Research Repository

Advanced Search

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

Santana, Misael Alpizar; Stefanakos, Ioannis; Fang, Xinwei; Garg, Ankita; Sun, Hongjian; Osman, Ashraf

Authors

Ioannis Stefanakos

Xinwei Fang

Profile image of Ankita Garg

Ankita Garg ankita.garg@durham.ac.uk
PGR Student Doctor of Philosophy



Abstract

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.

Citation

Santana, M. A., Stefanakos, I., Fang, X., Garg, A., Sun, H., & Osman, A. (2024, November). Weather Impact on DER Long-term Performance: A Formal Verification Approach. Presented at 2024 IEEE PES Innovative Smart Grid Technologies - Asia (ISGT Asia), Bangalore, India

Presentation Conference Type Conference Paper (published)
Conference Name 2024 IEEE PES Innovative Smart Grid Technologies - Asia (ISGT Asia)
Start Date Nov 10, 2024
End Date Nov 13, 2024
Acceptance Date Sep 17, 2024
Deposit Date Dec 13, 2024
Publisher Institute of Electrical and Electronics Engineers
Peer Reviewed Peer Reviewed
Keywords Index Terms-distributed energy resources; solar photovoltaic panels; energy system; quantitative verification
Public URL https://durham-repository.worktribe.com/output/3217193
Publisher URL https://ieeexplore.ieee.org/xpl/conhome/1801868/all-proceedings