for \([n]:=\lbrace 1,2,\ldots ,n\rbrace \) , \(N_i(t)=\lbrace j\in [n]:\Vert x_j(t)-x_i(t)\Vert \le \epsilon \rbrace \)  the collection of agent \(i^{\prime }s\)  neighbors at time \(t\)  and \(\Vert \ \,\Vert \)  the Euclidean norm. [1]} gives an overview of HK models. [2]}, [3]} elaborate that (REF ) has finite-time convergence property. [4]} further illustrates that the termination time
\(T_n=\inf \lbrace t\ge 0:x(t)=x(s)\text{ for all }s\ge t\rbrace \) 
