Robot formation control in nonlinear manifold using Koopman operator theory (Nonlinear Theory and Its Applications IEICE)