Data

Tools

Indexes

Applications

Experiments

Open Source Science

CarlemanLinearization

Carleman linearization for dynamical systems in Julia

https://github.com/juliareach/carlemanlinearization.jl

Science Score: 54.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ✓
    Academic publication links
    Links to: arxiv.org
  • ○
    Committers with academic emails
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (9.3%) to scientific vocabulary

Keywords from Contributors

matrix-exponential simulations projections ode formal-verification polygons reachability-analysis set-propagation control-systems interval-arithmetic
Last synced: 7 months ago · JSON representation ·

Repository

Carleman linearization for dynamical systems in Julia

Basic Info
Statistics
  • Stars: 6
  • Watchers: 4
  • Forks: 2
  • Open Issues: 1
  • Releases: 11
Created about 5 years ago · Last pushed 7 months ago
Metadata Files
Readme License Citation

README.md

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

  • carlin: Python library with similar functionality.
  • CarlemanBurgers: MATLAB implementation of the classical Carleman solution of the viscous Burgers equation, used in https://arxiv.org/abs/2011.03185.

References

Owner

  • Name: JuliaReach
  • Login: JuliaReach
  • Kind: organization

Reachability Computations for Dynamical Systems in Julia

Citation (CITATION.bib) 

@inproceedings{ForetsS21,
  author    = {Marcelo Forets and
               Christian Schilling},
  title     = {Reachability of Weakly Nonlinear Systems Using {C}arleman Linearization},
  booktitle = {{RP}},
  series    = {LNCS},
  volume    = {13035},
  pages     = {85--99},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-89716-1\_6},
  doi       = {10.1007/978-3-030-89716-1\_6}
}

GitHub Events

Total
  • Delete event: 12
  • Issue comment event: 2
  • Push event: 60
  • Pull request event: 28
  • Create event: 15
Last Year
  • Delete event: 12
  • Issue comment event: 2
  • Push event: 60
  • Pull request event: 28
  • Create event: 15

Committers

Last synced: over 1 year ago

All Time
  • Total Commits: 110
  • Total Committers: 6
  • Avg Commits per committer: 18.333
  • Development Distribution Score (DDS): 0.373
Past Year
  • Commits: 23
  • Committers: 3
  • Avg Commits per committer: 7.667
  • Development Distribution Score (DDS): 0.174
Top Committers
Name Email Commits
schillic g****t@c****t 69
Marcelo Forets m****s@g****m 21
pogudingleb p****b@g****m 12
dependabot[bot] 4****] 6
CompatHelper Julia c****y@j****g 1
schillic s****c 1
Committer Domains (Top 20 + Academic)
julialang.org: 1 christianschilling.net: 1

Packages

  • Total packages: 1
  • Total downloads:
    • julia 15 total
  • Total dependent packages: 1
  • Total dependent repositories: 0
  • Total versions: 11
juliahub.com: CarlemanLinearization

Carleman linearization for dynamical systems in Julia

  • Versions: 11
  • Dependent Packages: 1
  • Dependent Repositories: 0
  • Downloads: 15 Total
Rankings
Dependent repos count: 9.9%
Dependent packages count: 23.0%
Average: 27.8%
Forks count: 33.3%
Stargazers count: 45.1%
Last synced: 7 months ago

Dependencies

.github/workflows/CompatHelper.yml actions
  • julia-actions/setup-julia latest composite
.github/workflows/TagBot.yml actions
  • JuliaRegistries/TagBot v1 composite
.github/workflows/format.yml actions
  • actions/checkout v4 composite
  • peter-evans/create-pull-request v5 composite
.github/workflows/invalidations.yml actions
  • actions/checkout v4 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-invalidations v1 composite
  • julia-actions/setup-julia v1 composite
.github/workflows/doc-preview-cleanup.yml actions
  • actions/checkout v4 composite
.github/workflows/documentation.yml actions
  • actions/checkout v4 composite
  • julia-actions/cache v1 composite
  • julia-actions/setup-julia v1 composite
.github/workflows/spell-check.yml actions
  • actions/checkout v4 composite
  • crate-ci/typos master composite
.github/workflows/test-master.yml actions
  • actions/checkout v4 composite
  • codecov/codecov-action v4 composite
  • julia-actions/cache v1 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-processcoverage v1 composite
  • julia-actions/julia-runtest v1 composite
  • julia-actions/setup-julia v1 composite
.github/workflows/test-pull-request.yml actions
  • actions/checkout v4 composite
  • codecov/codecov-action v4 composite
  • julia-actions/cache v1 composite
  • julia-actions/julia-buildpkg v1 composite
  • julia-actions/julia-processcoverage v1 composite
  • julia-actions/julia-runtest v1 composite
  • julia-actions/setup-julia v1 composite