On constructing Lyapunov function for formation control of Multi-agent Systems with directed topology | IEEE Conference Publication | IEEE Xplore