Jorit Geurts

A DMPC framework in which each agent is assigned a connectivity contract: a local region prescribing where its predicted positions may lie over the prediction horizon, and it is proved that the resulting closed-loop system maintains connectivity, avoids collisions, and respects local state and input constraints.