https://github.com/avinashresearch1/hybridsystems.jl
Hybrid Systems definitions in Julia
Science Score: 41.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
-
○.zenodo.json file
-
✓DOI references
Found 3 DOI reference(s) in README -
✓Academic publication links
Links to: zenodo.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (11.0%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
·
Repository
Hybrid Systems definitions in Julia
Basic Info
- Host: GitHub
- Owner: avinashresearch1
- License: other
- Default Branch: master
- Size: 209 KB
Statistics
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
- Releases: 0
Fork of blegat/HybridSystems.jl
Created over 3 years ago
· Last pushed over 3 years 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.
Documentation
Owner
- Name: Avinash Subramanian
- Login: avinashresearch1
- Kind: user
- Location: Trondheim, Norway
- Company: JuliaHub
- Repositories: 2
- Profile: https://github.com/avinashresearch1
Simulation & Control at JuliaHub
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}
}