独立太阳能光伏系统的自动化验证
计算机科学中的逻辑
2018-11-26 v1
摘要
随着成本下降和性能提升,可再生能源系统的部署正快速增长。在农村地区或电网延伸不可行的地点,独立太阳能光伏系统受到特别关注。评估电气化项目的工具已有可用,但它们基于仿真,未能覆盖设计空间的所有方面。使用模型检测的自动化验证已被证明是程序验证的有效技术。本文标志着软件模型检测首次被应用于形式化验证独立太阳能光伏系统的设计,包括太阳能电池板、充电控制器、蓄电池、逆变器和电力负载。来自五个不同站点部署的真实光伏系统、功率从700W到1200W的案例研究,被用于评估该提出的方法,并与专用仿真工具进行比较。来自实际应用的数据显示了我们方法的有效性,其中导致光伏太阳能系统故障的特定条件仅被我们的自动化验证方法检测到。
引用
@article{arxiv.1811.09438,
title = {Automated Verification of Stand-alone Solar Photovoltaic Systems},
author = {Alessandro Trindade and Lucas Cordeiro},
journal= {arXiv preprint arXiv:1811.09438},
year = {2018}
}