1: \begin{abstract}

2: In this paper, we consider the problem of distributed reachable set computation for multi-agent systems (MASs) interacting over an undirected, stationary graph.

3: A full state-feedback control input for such MASs depends no only on the current agent's state, but also of its neighbors.

4: However, in most MAS applications, the dynamics are obscured by individual agents.

5: This makes reachable set computation, in a fully distributed manner, a challenging problem.

6: We utilize the ideas of polytopic reachable set approximation and generalize it to a MAS setup.

7: We formulate the resulting sub-problems in a fully distributed manner and provide convergence guarantees for the associated computations.

8: The proposed algorithm's convergence is proved for two cases: static MAS graphs, and time-varying graphs under certain restrictions.

9: \end{abstract}

10: