This dataset includes 5-minute-interval data on WT, PV, load, and electricity prices, as well as detailed configurations of a microgrid. The 5-minute interval power data is sourced from the Australian
The integration of renewable energy sources (RESs) introduces significant challenges related to uncertainty and intermittency in power grids. While Artificial Intelligence (AI) offers promising soluti
This dataset presents updates on the Brazilian starter data kit, considering current load profile data and specific renewable energy sources production, using public data from official Brazilian power
In our paper titled "Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids", presented at the 2021 NASA Formal Methods Symposium, we study a smart grid with wind power and batte
PyPSA-Eur is an open model dataset of the European power system at the transmission network level that covers the full ENTSO-E area. The software pipeline to assemble the model is dev