Skip to content

JuliaReach/CarlemanLinearization.jl

Repository files navigation

CarlemanLinearization.jl

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