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

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

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
• Online Publication Date: Feb 17, 2025
• Publication Date: Feb 17, 2025
• Deposit Date: Dec 13, 2024
• Publicly Available Date: Feb 17, 2025
• Publisher: Institute of Electrical and Electronics Engineers
• Peer Reviewed: Peer Reviewed
• Series ISSN: 2378-8534
• Book Title: 2024 IEEE PES Innovative Smart Grid Technologies - Asia (ISGT Asia)
• DOI: https://doi.org/10.1109/ISGTAsia61245.2024.10876300
• Keywords: Index Terms-distributed energy resources; solar photovoltaic panels; energy system; quantitative verification
• Public URL: https://durham-repository.worktribe.com/output/3217193