PEBO-SLAM: Observer design for visual inertial SLAM with convergence guarantees

This paper introduces a new linear parameterization to the problem of visual inertial simultaneous localization and mapping (VI-SLAM) -- without any approximation -- for the case only using information from a single monocular camera and an inertial measurement unit. In this problem set, the system state evolves on the nonlinear manifold $SE(3)\times \mathbb{R}^{3n}$, on which we design dynamic extensions carefully to generate invariant foliations, such that the problem can be reformulated into online \emph{constant parameter} identification, then interestingly with linear regression models obtained. It demonstrates that VI-SLAM can be translated into a linear least squares problem, in the deterministic sense, \emph{globally} and \emph{exactly}. Based on this observation, we propose a novel SLAM observer, following the recently established parameter estimation-based observer (PEBO) methodology. A notable merit is that the proposed observer enjoys almost global asymptotic stability, requiring neither persistency of excitation nor uniform complete observability, which, however, are widely adopted in most existing works with provable stability but can hardly be assured in many practical scenarios

Nonlinear Control of Unmanned Aerial Vehicles : Systems With an Attitude

This thesis deals with the general problem of controlling rigid-body systems through space, with a special focus on unmanned aerial vehicles (UAVs). Several promising UAV control algorithms have been developed over the past decades, enabling truly astounding feats of agility when combined with modern sensing technologies. However, these control algorithms typically come without global stability guarantees when implemented with estimation algorithms. Such control systems work well most of the time, but when introducing the UAVs more widely in society, it becomes paramount to prove that stability is ensured regardless of how the control system is initialized.The main motivation of the research lies in providing such (almost) global stability guarantees for an entire UAV control system. We develop algorithms that are implementable in practice and for which (almost) all initial errors result in perfect tracking of a reference trajectory. In doing so, both the tracking and the estimation errors are shown to be bounded in time along (almost) all solutions of the closed-loop system. In other words, if the initialization is sound and the initial errors are small, they will remain small and decrease in time, and even if the initial errors are large, they will not increase with time.As the field of UAV control is mature, this thesis starts by reviewing some of the most promising approaches to date in Part I. The ambition is to clarify how various controllers are related, provide intuition, and demonstrate how they work in practice. These ideas subsequently form the foundation on which a new result is derived, referred to as a nonlinear filtered output feedback. This represents a diametrically different approach to the control system synthesis. Instead of a disjoint controller/estimator design, the proposed method is comprised of two controller/estimator pairs, which when combined through a special interconnection term yields a system with favorable stability properties.While the first part of the thesis deals with theoretical controller design,Part II concerns application examples, demonstrating how the theory can solve challenging problems in modern society. In particular, we consider the problem of circumnavigation for search and rescue missions and show how UAVs can gather data from radioactive sites to estimate radiation intensity

Underwater Vehicles

For the latest twenty to thirty years, a significant number of AUVs has been created for the solving of wide spectrum of scientific and applied tasks of ocean development and research. For the short time period the AUVs have shown the efficiency at performance of complex search and inspection works and opened a number of new important applications. Initially the information about AUVs had mainly review-advertising character but now more attention is paid to practical achievements, problems and systems technologies. AUVs are losing their prototype status and have become a fully operational, reliable and effective tool and modern multi-purpose AUVs represent the new class of underwater robotic objects with inherent tasks and practical applications, particular features of technology, systems structure and functional properties