codac

1.5.5

Codac main page
Try Codac online with Python
Installing the Codac library
Start a Python project
Start a C++ project
Start a MATLAB project

User manual

Introduction
Basic structures for real values
Domains: sets of feasible values
Inclusion functions
Static contractors
Temporal contractors
Contractor Networks
Set-inversion and separators
Graphical tools
FAQ: Frequently Asked Questions
See also: codac-unsupported

Set4MOST

Examples

Tutorial JNRR23

JNRR-1. Intervals and contractors
JNRR-2. Static range-only localization
JNRR-3. Towards SLAM

Tutorial for mobile robotics

Main page
Introduction
A. Intervals and contractors
B. Static range-only localization
C. Static range-bearing localization
D. Building our own contractor
E. Hello tubes
F. Asynchronous measurements
G. Localization with data association
H. Range-only SLAM

Use cases

Lie symmetries for guaranteed integ.
Pose estimation with range-only obs.

Development

Changelog
C++ API technical documentation
Information for developers

codac

»
Lesson JNRR-3: towards SLAM
View page source

Lesson JNRR-3: towards SLAM¶

The last lesson is available in the following PDF file:

http://codac.io/tmp/jnrr-2023/exercice_slam.pdf

Next Previous

© Copyright 2020, Codac Team

Built with Sphinx using a theme provided by Read the Docs.