Towards Verification in Distributed Multi-Agent Energy Systems

Distributed Energy Resources play an ever increasing role as the existing centralized energy system is transformed to use more decentralized renewable energy sources. Multi-agent systems are an intuitive paradigm for modeling and control of this type of system. Since the energy system is safety-critical infrastructure it is necessary to ensure its reliability. Formal verification is one way to achieve this. In this poster we motivate possible approaches to the verification problem for MAS as well as their application to energy systems. We outline key challenges that such an approach must address.