Consensus of Multi-Agent Systems With Nonholonomic Restrictions via Lyapunov’s Direct Method | IEEE Journals & Magazine | IEEE Xplore