CarlemanLinearization.jl

Carleman linearization for dynamical systems
Author JuliaReach
Popularity
5 Stars
Updated Last
11 Months Ago
Started In
February 2021

CarlemanLinearization.jl

Documentation Status Community License
docs-dev CI codecov gitter license

This package implements the Carleman linearization transformation of polynomial differential equations in Julia.

Features

The following methods are available:

  • Construction of the Carleman embedding using sparse matrices
  • Explicit error bounds [FP17]
  • Improved error bounds for dissipative systems [L20]

Related libraries

References