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

Reachability analysis for closed-loop control systems in Julia
https://github.com/juliareach/closedloopreachability.jl

Keywords

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

Keywords from Contributors

simulations ode verification set-propagation rigorous-numerics reachability-analysis numerical-analysis interval-arithmetic formal-verification flowpipe

Last synced: 11 months ago
JSON representation

Acceptance Criteria

Revelant topics? true
External users? true
Open source license? true
Active? true
Fork? false

Repository metadata

Reachability analysis for closed-loop control systems in Julia

Host: GitHub
URL: https://github.com/juliareach/closedloopreachability.jl
Owner: JuliaReach
License: mit
Created: 2020-01-30T14:27:59.000Z (over 5 years ago)
Default Branch: master
Last Pushed: 2024-04-13T05:19:26.000Z (about 1 year ago)
Last Synced: 2024-04-14T02:53:01.996Z (about 1 year ago)
Topics: control-systems, differential-equations, hybrid-systems, neural-network, robotics, robustness
Language: Polar
Homepage: https://juliareach.github.io/ClosedLoopReachability.jl/
Size: 8.07 MB
Stars: 44
Watchers: 6
Forks: 2
Open Issues: 7
Releases: 0
Metadata Files:
- Readme: README.md
- License: LICENSE
- Citation: CITATION.bib

Owner metadata

Name: JuliaReach
Login: JuliaReach
Email:
Kind: organization
Description: Reachability Computations for Dynamical Systems in Julia
Website: http://juliareach.com/
Location:
Twitter: JuliaReach
Company:
Icon url: https://avatars.githubusercontent.com/u/33028082?v=4
Repositories: 31
Last ynced at: 2023-02-27T22:15:30.976Z
Profile URL: https://github.com/JuliaReach

GitHub Events

Total

Create event: 69
Commit comment event: 18
Release event: 9
Issues event: 12
Watch event: 5
Delete event: 59
Issue comment event: 15
Push event: 391
Gollum event: 1
Pull request event: 114

Last Year

Commit comment event: 6
Create event: 28
Delete event: 23
Issue comment event: 4
Pull request event: 49
Push event: 205
Release event: 3
Watch event: 4

Committers metadata

Last synced: about 1 year ago

Total Commits: 605
Total Committers: 11
Avg Commits per committer: 55.0
Development Distribution Score (DDS): 0.448

Commits in past year: 91
Committers in past year: 4
Avg Commits per committer in past year: 22.75
Development Distribution Score (DDS) in past year: 0.055

Name	Email	Commits
schillic	g**t@c**t	334
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
Daniel F Caporale	d**e@g**m	2
dependabot[bot]	4****]	2
schillic	9****c	1

Committer domains:

Issue and Pull Request metadata

Last synced: 12 months ago

Total issues: 23
Total pull requests: 129
Average time to close issues: 12 months
Average time to close pull requests: 16 days
Total issue authors: 4
Total pull request authors: 5
Average comments per issue: 1.3
Average comments per pull request: 0.05
Merged pull request: 114
Bot issues: 0
Bot pull requests: 19

Past year issues: 0
Past year pull requests: 51
Past year average time to close issues: N/A
Past year average time to close pull requests: about 9 hours
Past year issue authors: 0
Past year pull request authors: 3
Past year average comments per issue: 0
Past year average comments per pull request: 0.04
Past year merged pull request: 45
Past year bot issues: 0
Past year bot pull requests: 11

More stats: https://issues.ecosyste.ms/repositories/lookup?url=https://github.com/juliareach/closedloopreachability.jl

Top Issue Authors

schillic (18)
mforets (3)
jonniedie (1)
JuliaTagBot (1)

Top Pull Request Authors

schillic (107)
github-actions[bot] (14)
dependabot[bot] (5)
mforets (2)
SebastianGuadalupe (1)

Top Issue Labels

enhancement (10)
documentation (2)
wontfix (1)
bug (1)
invalid (1)

Top Pull Request Labels

dependencies (5)
bug (1)

Package metadata

Total packages: 1
Total downloads: unknown
Total dependent packages: 0
Total dependent repositories: 0
Total versions: 13

juliahub.com: ClosedLoopReachability