Fig. 2

An example decentralized congestion management system. When a congestion is detected, agents autonomously form coalitions to resolve the issue by locally using the flexibility of their associated DER. The desired verification result for this MAS is that for any given congestion a solution minimizing costs is found within a maximum time \(t_{max}\), derived from the time the transformer can withstand the high load. The probability that the computed solution can actually be delivered P(delivery) must exceed a threshold probability \(P_{min}\)