Data

Tools

Indexes

Applications

Experiments

Open Source Science

ClosedLoopReachability

Reachability analysis for closed-loop control systems in Julia

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

Science Score: 67.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
    Found 1 DOI reference(s) in README
  • ○
    Academic publication links
  • ✓
    Committers with academic emails
    1 of 11 committers (9.1%) from academic institutions
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (9.9%) to scientific vocabulary

Keywords

control-systems differential-equations hybrid-systems neural-network robotics robustness

Keywords from Contributors

formal-verification reachability-analysis set-propagation matrix-exponential projections numeric ode simulations polyhedra polygons
Last synced: 6 months ago · JSON representation ·

Repository

Reachability analysis for closed-loop control systems in Julia

Basic Info
Statistics
  • Stars: 47
  • Watchers: 6
  • Forks: 3
  • Open Issues: 8
  • Releases: 17
Topics
control-systems differential-equations hybrid-systems neural-network robotics robustness
Created about 6 years ago · Last pushed 6 months ago
Metadata Files
Readme License Citation

README.md

ClosedLoopReachability.jl

| Documentation | Status | Community | License | |:-----------------:|:----------:|:-------------:|:-----------:| | docs-dev | codecov PkgEval aqua dev-commits | zulip JuliaHub | license |

This package implements methods to analyze closed-loop control systems using reachability analysis.

Currently we support neural-network controllers.

📜 How to cite

If you use this package in your work, please cite it using the metadata here or below.

Click to see BibTeX entry. ``` @inproceedings{SchillingFG22, author = {Christian Schilling and Marcelo Forets and Sebasti{\'{a}}n Guadalupe}, title = {Verification of Neural-Network Control Systems by Integrating {T}aylor Models and Zonotopes}, booktitle = {{AAAI}}, pages = {8169--8177}, publisher = {{AAAI} Press}, year = {2022}, url = {https://ojs.aaai.org/index.php/AAAI/article/view/20790}, doi = {10.1609/aaai.v36i7.20790} } ```

Owner

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

Reachability Computations for Dynamical Systems in Julia

Citation (CITATION.bib) 

@inproceedings{SchillingFG22,
  author    = {Christian Schilling and
               Marcelo Forets and
               Sebasti{\'{a}}n Guadalupe},
  title     = {Verification of Neural-Network Control Systems by Integrating {T}aylor
               Models and Zonotopes},
  booktitle = {{AAAI}},
  pages     = {8169--8177},
  publisher = {{AAAI} Press},
  year      = {2022},
  url       = {https://ojs.aaai.org/index.php/AAAI/article/view/20790},
  doi       = {10.1609/aaai.v36i7.20790}
}

GitHub Events

Total
  • Create event: 19
  • Commit comment event: 4
  • Release event: 3
  • Watch event: 3
  • Delete event: 19
  • Issue comment event: 5
  • Push event: 63
  • Pull request event: 39
  • Fork event: 1
Last Year
  • Create event: 19
  • Commit comment event: 4
  • Release event: 3
  • Watch event: 3
  • Delete event: 19
  • Issue comment event: 5
  • Push event: 63
  • Pull request event: 39
  • Fork event: 1

Committers

Last synced: over 1 year ago

All Time
  • Total Commits: 622
  • Total Committers: 11
  • Avg Commits per committer: 56.545
  • Development Distribution Score (DDS): 0.439
Past Year
  • Commits: 85
  • Committers: 3
  • Avg Commits per committer: 28.333
  • Development Distribution Score (DDS): 0.047
Top Committers
Name Email Commits
schillic g****t@c****t 349
Marcelo Forets m****s@g****m 109
SebastianGuadalupe s****0@g****m 89
schillic c****g@i****t 37
Sebastián Guadalupe 4****e 13
github-actions[bot] 4****] 7
dfcaporale 5****e 6
CompatHelper Julia c****y@j****g 5
dependabot[bot] 4****] 4
Daniel F Caporale d****e@g****m 2
schillic 9****c 1
Committer Domains (Top 20 + Academic)
julialang.org: 1 ist.ac.at: 1 christianschilling.net: 1

Issues and Pull Requests

Last synced: 6 months ago

All Time
  • Total issues: 23
  • Total pull requests: 162
  • Average time to close issues: 12 months
  • Average time to close pull requests: 13 days
  • Total issue authors: 4
  • Total pull request authors: 5
  • Average comments per issue: 1.39
  • Average comments per pull request: 0.04
  • Merged pull requests: 136
  • Bot issues: 0
  • Bot pull requests: 32
Past Year
  • Issues: 0
  • Pull requests: 26
  • Average time to close issues: N/A
  • Average time to close pull requests: about 9 hours
  • Issue authors: 0
  • Pull request authors: 3
  • Average comments per issue: 0
  • Average comments per pull request: 0.0
  • Merged pull requests: 17
  • Bot issues: 0
  • Bot pull requests: 11
View more stats
Top Authors
Issue Authors
  • schillic (19)
  • mforets (3)
  • jonniedie (1)
  • JuliaTagBot (1)
Pull Request Authors
  • schillic (166)
  • github-actions[bot] (30)
  • dependabot[bot] (13)
  • mforets (2)
  • SebastianGuadalupe (1)
Top Labels
Issue Labels
enhancement (10) documentation (2) wontfix (1) bug (1) invalid (1)
Pull Request Labels
dependencies (13) bug (1) github_actions (1)

Packages

  • Total packages: 1
  • Total downloads:
    • julia 2 total
  • Total dependent packages: 0
  • Total dependent repositories: 0
  • Total versions: 17
juliahub.com: ClosedLoopReachability

Reachability analysis for closed-loop control systems in Julia

  • Versions: 17
  • Dependent Packages: 0
  • Dependent Repositories: 0
  • Downloads: 2 Total
Rankings
Dependent repos count: 9.9%
Stargazers count: 15.4%
Average: 24.4%
Forks count: 33.3%
Dependent packages count: 38.9%
Last synced: 6 months ago