  Navigation and guidance of autonomous vehicles is a fundamental problem in
robotics, which has attracted intensive research in recent decades. This report
is mainly concerned with provable collision avoidance of multiple autonomous
vehicles operating in unknown cluttered environments, using reactive
decentralized navigation laws, where obstacle information is supplied by some
sensor system.
  Recently, robust and decentralized variants of model predictive control based
navigation systems have been applied to vehicle navigation problems. Properties
such as provable collision avoidance under disturbance and provable convergence
to a target have been shown; however these often require significant
computational and communicative capabilities, and don't consider sensor
constraints, making real time use somewhat difficult. There also seems to be
opportunity to develop a better trade-off between tractability, optimality, and
robustness.
  The main contributions of this work are as follows; firstly, the integration
of the robust model predictive control concept with reactive navigation
strategies based on local path planning, which is applied to both holonomic and
unicycle vehicle models subjected to acceleration bounds and disturbance;
secondly, the extension of model predictive control type methods to situations
where the information about the obstacle is limited to a discrete ray-based
sensor model, for which provably safe, convergent boundary following can be
shown; and thirdly the development of novel constraints allowing decentralized
coordination of multiple vehicles using a robust model predictive control type
approach, where a single communication exchange is used per control update,
vehicles are allowed to perform planning simultaneously, and coherency
objectives are avoided.
