Mobile Robot Localization Based on a Set Approach using Heterogeneous Measurements

Then, the second step automatically generates a formal model of the application, on which other important properties may be verified formally using statistical model checking..

Diehl, Nonlinear receding horizon control of an underactuated hovercraft with a multiple-shooting- based algorithm, 2006 IEEE Conference on Computer Aided Control System Design,

The data (from distance and color sensors, and actuator) collected from the robot simulator are used to train and test reservoir networks in a Matlab environment using the RCT Toolbox

In this paper, we introduce a new theorem that can be used to build minimal contractors consistent with equations, and another new theorem to derive an optimal separator from a

A set membership approach for SLAM (see e.g., [11]) will be considered and it will be shown that this approach leads us to a constraints satisfaction problem (CSP) (see e.g., [8]

This paper introduces a generalization of the nvalue con- straint that bounds the number of distinct values taken by a set of vari- ables.The generalized constraint (called

This paper shows that using separators, which is a pair of two complementary contractors, we can easily and efficiently solve the localization problem of a robot with sonar

The central pixel of the segmented top of the robot is used to obtain the robot’s real location on the floor, using the model of the fisheye camera.. Our ap- proach