CarlemanLinearization.jl

Carleman linearization for dynamical systems in Julia
Author JuliaReach
Popularity
7 Stars
Updated Last
2 Months Ago
Started In
February 2021

CarlemanLinearization.jl

Documentation Status Community License
docs-dev CI codecov PkgEval aqua zulip JuliaHub 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