pogudingleb / CarlemanLinearization.jl

Carleman linearization for dynamical systems

Home Page:https://juliareach.github.io/CarlemanLinearization.jl/dev/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CarlemanLinearization.jl

Build Status Documentation license Code coverage 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 [L20]

Related libraries

References

About

Carleman linearization for dynamical systems

https://juliareach.github.io/CarlemanLinearization.jl/dev/

License:MIT License


Languages

Language:Julia 100.0%