Abstract
Future power systems will rely heavily on micro grids with a high share ofdecentralised renewable energy sources and energy storage systems. The highcomplexity and uncertainty in this context might make conventional powerdispatch strategies infeasible. Reinforcement-learning based (RL) controllerscan address this challenge, however, cannot themselves provide safetyguarantees, preventing their deployment in practice. To overcome thislimitation, we propose a formally validated RL controller for economicdispatch. We extend conventional constraints by a time-dependent constraintencoding the islanding contingency. The contingency constraint is computedusing set-based backwards reachability analysis and actions of the RL agent areverified through a safety layer. Unsafe actions are projected into the safeaction space while leveraging constrained zonotope set representations forcomputational efficiency. The developed approach is demonstrated on aresidential use case using real-world measurements.