Science Score: 64.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
-
✓DOI references
Found 3 DOI reference(s) in README -
✓Academic publication links
Links to: zenodo.org -
✓Committers with academic emails
2 of 7 committers (28.6%) from academic institutions -
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (11.2%) to scientific vocabulary
Keywords from Contributors
polytope
nonlinear-programming
polyhedra
convex-hull
calculus
computer-algebra
computational-geometry
convex-sets
formal-verification
geometry
Last synced: 6 months ago
·
JSON representation
·
Repository
Hybrid Systems definitions in Julia
Basic Info
- Host: GitHub
- Owner: blegat
- License: other
- Language: Julia
- Default Branch: master
- Size: 229 KB
Statistics
- Stars: 29
- Watchers: 8
- Forks: 5
- Open Issues: 6
- Releases: 18
Created over 8 years ago
· Last pushed 7 months ago
Metadata Files
Readme
License
Citation
README.md
HybridSystems
| Documentation | Build Status | References to cite |
|:-----------------:|:----------------:|:----------------------:|
| |
|
|
|
|
| |
This packages defines an interface for defining and working with Hybrid Systems. It also includes an implementation of this interface.
The goal of this package is twofold
- help making algorithms on Hybrid Systems independent of the particular data structure used to represent them.
- help users to try many different tools for Hybrid Systems without needed to deal with different interfaces.
The following package implements hybrid systems representations using this interface:
- SpaceExParser : SpaceEx modeling language parser
The following package implements algorithms using this interface:
- SwitchOnSafety : Computing invariant sets of hybrid systems.
- ReachabilityAnalysis : Computing reachable states of hybrid dynamical systems.
- Dionysos : Solve optimal control problems on hybrid systems.
Documentation
Owner
- Name: Benoît Legat
- Login: blegat
- Kind: user
- Location: Boston, MA, USA
- Company: LIDS, MIT
- Website: blegat.github.io
- Repositories: 48
- Profile: https://github.com/blegat
Citation (CITATION.bib)
@software{legat2020HybridSystems,
author = {Benoît Legat and
Marcelo Forets and
Christian Schilling},
title = {blegat/HybridSystems.jl: v0.3.4},
month = oct,
year = 2020,
publisher = {Zenodo},
version = {v0.3.4},
doi = {10.5281/zenodo.4139370},
url = {https://doi.org/10.5281/zenodo.4139370}
}
GitHub Events
Total
- Delete event: 6
- Issue comment event: 1
- Push event: 7
- Pull request review event: 1
- Pull request event: 7
- Create event: 5
- Commit comment event: 1
Last Year
- Delete event: 6
- Issue comment event: 1
- Push event: 7
- Pull request review event: 1
- Pull request event: 7
- Create event: 5
- Commit comment event: 1
Committers
Last synced: almost 3 years ago
All Time
- Total Commits: 147
- Total Committers: 7
- Avg Commits per committer: 21.0
- Development Distribution Score (DDS): 0.211
Top Committers
| Name | Commits | |
|---|---|---|
| Benoît Legat | b****t@g****m | 116 |
| mforets | m****s@g****m | 13 |
| github-actions[bot] | 4****]@u****m | 6 |
| schillic | s****c@i****e | 6 |
| mforets | m****a@u****r | 3 |
| Unknown | k****n@g****m | 2 |
| Julia TagBot | 5****t@u****m | 1 |
Committer Domains (Top 20 + Academic)
Issues and Pull Requests
Last synced: 7 months ago
All Time
- Total issues: 17
- Total pull requests: 43
- Average time to close issues: 5 days
- Average time to close pull requests: 3 days
- Total issue authors: 7
- Total pull request authors: 6
- Average comments per issue: 2.29
- Average comments per pull request: 1.37
- Merged pull requests: 39
- Bot issues: 0
- Bot pull requests: 8
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- mforets (8)
- blegat (4)
- clagms (1)
- kpotomkin (1)
- JuliaTagBot (1)
- BotYue (1)
- schillic (1)
Pull Request Authors
- blegat (18)
- mforets (10)
- github-actions[bot] (9)
- schillic (9)
- dependabot[bot] (2)
- kpotomkin (1)
- JuliaTagBot (1)
Top Labels
Issue Labels
breaking (1)
Pull Request Labels
breaking (2)
dependencies (2)
github_actions (2)
Dependencies
.github/workflows/CompatHelper.yml
actions
.github/workflows/TagBot.yml
actions
- JuliaRegistries/TagBot v1 composite
.github/workflows/ci.yml
actions
- actions/cache v1 composite
- actions/checkout v2 composite
- codecov/codecov-action 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