CarlemanLinearization.jl

Carleman linearization for dynamical systems
Author JuliaReach
Popularity
4 Stars
Updated Last
2 Years Ago
Started In
February 2021

CarlemanLinearization.jl

Build Status Documentation license Join the chat at https://gitter.im/JuliaReach/Lobby

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 [FP17]

Example

using CarlemanLinearization

....

Related libraries

  • carlin: Python library with similar functionality.

References

Required Packages

Used By Packages

No packages found.