Guaranteed Collision Avoidance in Multi–Kite Power Systems