codac
1.5.7
  • 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
  • Search

© Copyright 2020, Codac Team.

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