Spelling suggestions: "subject:"interval methods"" "subject:"lnterval methods""
1 |
Guaranteed SLAM : an interval approachMustafa, Mohamed January 2017 (has links)
The mapping problem is a major player in mobile robotics, and it is essential for many real applications such as disaster response or nuclear decommissioning. Generally, the robotic mapping is addressed under the umbrella of simultaneous localization and mapping (SLAM). Several probabilistic techniques were developed in the literature to approach the SLAM problem, and despite the good performance, their convergence proof is only limited to linear Gaussian models. This thesis proposes an interval SLAM (i-SLAM) algorithm as a new approach that addresses the robotic mapping problem in the context of interval methods. The noise of the robot sensor is assumed bounded, and without any prior knowledge of its distribution, we specify soft conditions that guarantee the convergence of robotic mapping for the case of nonlinear models with non-Gaussian noise. A new theory about compact sets is developed in the context of real analysis to conclude such conditions. Then, a case study is presented where the performance of i-SLAM is compared to the probabilistic counterparts in terms of accuracy and efficiency. Moreover, this work presents an application for i-SLAM using an RGB-D sensor that operates in unknown environments. Interval methods and computer vision techniques are employed to extract planar landmarks in the environment. Then, a new hybrid data association approach is developed using a modified version of bag-of-features method to uniquely identify different landmarks across timesteps. Finally, the results obtained using the proposed data association approach are compared to the typical least-squares approaches, thus demonstrating the consistency and accuracy of the proposed approach.
|
2 |
Aspects of interval analysis applied to initial-value problems for ordinary differential equations and hyperbolic partial differential equationsAnguelov, Roumen Anguelov 09 1900 (has links)
Interval analysis is an essential tool in the construction of validated numerical solutions
of Initial Value Problems (IVP) for Ordinary (ODE) and Partial (PDE) Differential
Equations. A validated solution typically consists of guaranteed lower and upper bounds
for the exact solution or set of exact solutions in the case of uncertain data, i.e. it is an
interval function (enclosure) containing all solutions of the problem.
IVP for ODE: The central point of discussion is the wrapping effect. A new concept of
wrapping function is introduced and applied in studying this effect. It is proved that the
wrapping function is the limit of the enclosures produced by any method of certain type
(propagate and wrap type). Then, the wrapping effect can be quantified as the difference
between the wrapping function and the optimal interval enclosure of the solution set (or
some norm of it). The problems with no wrapping effect are characterized as problems for
which the wrapping function equals the optimal interval enclosure. A sufficient condition
for no wrapping effect is that there exist a linear transformation, preserving the intervals,
which reduces the right-hand side of the system of ODE to a quasi-isotone function. This
condition is also necessary for linear problems and "near" necessary in the general case.
Hyperbolic PDE: The Initial Value Problem with periodic boundary conditions for
the wave equation is considered. It is proved that under certain conditions the problem
is an operator equation with an operator of monotone type. Using the established monotone
properties, an interval (validated) method for numerical solution of the problem is
proposed. The solution is obtained step by step in the time dimension as a Fourier series
of the space variable and a polynomial of the time variable. The numerical implementation
involves computations in Fourier and Taylor functoids. Propagation of discontinuo~swaves
is a serious problem when a Fourier series is used (Gibbs phenomenon, etc.). We
propose the combined use of periodic splines and Fourier series for representing discontinuous
functions and a method for propagating discontinuous waves. The numerical implementation involves computations in a Fourier hyper functoid. / Mathematical Sciences / D. Phil. (Mathematics)
|
3 |
Aspects of interval analysis applied to initial-value problems for ordinary differential equations and hyperbolic partial differential equationsAnguelov, Roumen Anguelov 09 1900 (has links)
Interval analysis is an essential tool in the construction of validated numerical solutions
of Initial Value Problems (IVP) for Ordinary (ODE) and Partial (PDE) Differential
Equations. A validated solution typically consists of guaranteed lower and upper bounds
for the exact solution or set of exact solutions in the case of uncertain data, i.e. it is an
interval function (enclosure) containing all solutions of the problem.
IVP for ODE: The central point of discussion is the wrapping effect. A new concept of
wrapping function is introduced and applied in studying this effect. It is proved that the
wrapping function is the limit of the enclosures produced by any method of certain type
(propagate and wrap type). Then, the wrapping effect can be quantified as the difference
between the wrapping function and the optimal interval enclosure of the solution set (or
some norm of it). The problems with no wrapping effect are characterized as problems for
which the wrapping function equals the optimal interval enclosure. A sufficient condition
for no wrapping effect is that there exist a linear transformation, preserving the intervals,
which reduces the right-hand side of the system of ODE to a quasi-isotone function. This
condition is also necessary for linear problems and "near" necessary in the general case.
Hyperbolic PDE: The Initial Value Problem with periodic boundary conditions for
the wave equation is considered. It is proved that under certain conditions the problem
is an operator equation with an operator of monotone type. Using the established monotone
properties, an interval (validated) method for numerical solution of the problem is
proposed. The solution is obtained step by step in the time dimension as a Fourier series
of the space variable and a polynomial of the time variable. The numerical implementation
involves computations in Fourier and Taylor functoids. Propagation of discontinuo~swaves
is a serious problem when a Fourier series is used (Gibbs phenomenon, etc.). We
propose the combined use of periodic splines and Fourier series for representing discontinuous
functions and a method for propagating discontinuous waves. The numerical implementation involves computations in a Fourier hyper functoid. / Mathematical Sciences / D. Phil. (Mathematics)
|
Page generated in 0.064 seconds