摘要 - 未来的电力系统将在很大程度上依赖于具有大量分散的可再生能源和能源存储系统的微网格。在这种情况下,高复杂性和不确定性可能会使常规权力调度策略不可行。加强学习者(RL)控制器可以应对这一挑战,但是,不能提供安全保证,以防止其在实践中的部署中。为了克服这一限制,我们提出了一个经济派遣的正式验证的RL控制器。我们通过编码岛屿意外事件的时间相关约束来扩展常规约束。使用基于集合的向后触及性分析来计算偶性约束,RL代理的动作将通过安全层进行验证。不安全的动作被投影到安全的动作空间中,同时利用受约束的划界设置表示以提高效率。使用现实世界测量值在住宅用例上证明了开发的方法。
主要关键词