Nonlinear stability analysis, Geometric control of mobile robots, Formation control of autonomous vehicles