A Remark on Formation Control with Triangulated Laman Graphs: Genericity of Equivariant Morse Functions

This paper, as a continuing work of [1], focus on establishing the fact that if we equip a reciprocal multi-agent (RMA) system with a triangulated Laman graph (TLG), then the associated potential function is generically an equivariant Morse function, i.e, there are only finitely many critical orbits each of which is nondegenerate. Though this assumption on the potential function of being an equivariant Morse function has been used, and in fact indispensable, in several occasions. But it is actually still an open question whether it is true for a given RMA system. Thus, in this paper we will provide a confirmative answer to the question for the class of RMA systems with TLGs. The main result, as well as the analysis of this paper, has many implications for other difficult problems.