Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Codac documentation
Logo

User manual

  • Introduction
  • Installation guide
    • Python installation
    • C++ installation
    • MATLAB installation
    • Performance considerations
  • Intervals
    • The Interval class
    • The IntervalVector class
    • The BoolInterval enumeration
  • Tubes
    • The TDomain class
    • The SlicedTube class
  • Linear algebra
    • Vectors, rows, matrices
    • Reliable inversions of matrices
    • Interval LU decomposition
  • Inclusion functions
    • Analytic inclusion functions
    • Analytic operators
    • Parallelepiped inclusion function
    • PEIBOS
  • Contractors, separators
    • CtcInter
    • CtcInverse
    • CtcLohner
    • CtcDist
    • CtcPolar
    • CtcVisible
  • Geometry
    • Geometric utilities
    • Segment
    • Polygon and ConvexPolygon
    • Zonotopes
  • Ellipsoids
    • Ellipsoid in n-dimensional space (matrix definition)
    • The Ellipsoid class
  • Visualization
    • The 2D Figure classes
    • 2D drawing functions
    • Styles, colors and color maps
    • The VIBes viewer
    • The IPE editor
    • The 3D Figure class
  • Tools
    • Binary serialization
    • Transformation estimation
    • Octahedral symmetries
    • Sampled trajectories
  • Codac extensions
    • SymPy (for symbolic mathematics)
    • CAPD (rigorous numerics in dynamical systems)
      • CAPD (rigorous numerics in dynamical systems)
      • PEIBOS-CAPD

Tutorial

  • State estimation
    • Lesson A: Range and bearing
    • Lesson B: Data association
    • Lesson C: Dynamic loc.
    • Lesson D: Range-only SLAM
    • Lesson E: Tile-based loc.

Development

  • Information for developers
  • Common issues
  • Changelog
  • C++ API
  • Old version (Codac V1)
Back to top
View this page

CAPD (rigorous numerics in dynamical systems)

Main author: Maël Godard

  • CAPD (rigorous numerics in dynamical systems)
    • Installing the codac-capd extension
    • Content
    • How to use
    • Example
  • PEIBOS-CAPD
    • Gnomonic atlas
    • Use
      • PEIBOS
        • PEIBOS()
      • reach_set
    • Examples
      • 2D : Pendulum
      • 3D : Lorenz system
    • Related work
Next
CAPD (rigorous numerics in dynamical systems)
Previous
SymPy (for symbolic mathematics)
Copyright © Codac Team
Made with Sphinx and @pradyunsg's Furo