“…The dynamical systemẋ ag = f ag (x ag ) with augmented state vector x ag := [x 1 , w 1 ,θ 1 , ζ 1 , · · · , x N , w N ,θ N , ζ N ] T defined by (5), (19), (21), (22) has a smooth locally Lipschitz map f ag and therefore a maximal solution exists over some interval [0, t f ) [36]. From (24) and Lemma 1 we have that z i ,θ i , ζ i , [36].…”