|
[SSF+24]
Misael Alpizar Santana, Ioannis Stefanakos, Xinwei Fang, Ankita Garg, Hongjian Sun and Ashraf Osman.
Weather Impact on DER Long-term Performance: A Formal Verification Approach.
In Proc. IEEE PES Innovative Smart Grid Technologies.
2024.
[Verifies performance requirements of distributed energy resources using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|