Skip to content

JuliaReach/CarlemanLinearization.jl

Folders and files

NameName
Last commit message
Last commit date
Nov 27, 2024
Jan 25, 2025
Jan 25, 2025
Nov 21, 2024
May 5, 2023
May 19, 2023
Nov 2, 2023
Nov 23, 2021
Feb 12, 2021
Jun 28, 2024
Oct 19, 2024
Nov 24, 2021

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

About

Carleman linearization for dynamical systems in Julia

Resources

License

Citation

Stars

Watchers

Forks

Contributors 4

Languages