Data

Tools

Indexes

Applications

Experiments

Open Source Science

arch2023_ainncs_re

Repeatability package for ARCH-COMP 2023 AINNCS

https://github.com/juliareach/arch2023_ainncs_re

Science Score: 31.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
  • ○
    Committers with academic emails
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (13.5%) to scientific vocabulary
Last synced: 11 months ago · JSON representation ·

Repository

Repeatability package for ARCH-COMP 2023 AINNCS

Basic Info
  • Host: GitHub
  • Owner: JuliaReach
  • Language: Julia
  • Default Branch: master
  • Homepage:
  • Size: 1.31 MB
Statistics
  • Stars: 1
  • Watchers: 3
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created about 3 years ago · Last pushed over 2 years ago
Metadata Files
Readme Citation

README.md

ARCH2023 AINNCS

This is the JuliaReach repeatability evaluation (RE) package for the ARCH-COMP 2023 category report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants of the 7th International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP '23).

To cite the work, you can use:

@inproceedings{LopezAFJLS23, author = {Diego Manzanas Lopez and Matthias Althoff and Marcelo Forets and Taylor T.\ Johnson and Tobias Ladner and Christian Schilling}, editor = {Goran Frehse and Matthias Althoff}, title = {{ARCH-COMP23} Category Report: Artificial Intelligence and Neural Network Control Systems {(AINNCS)} for Continuous and Hybrid Systems Plants}, booktitle = {{ARCH}}, series = {EPiC Series in Computing}, volume = {96}, publisher = {EasyChair}, year = {2023}, url = {https://doi.org/10.29007/x38n}, doi = {10.29007/x38n} }

Installation

Note: Running the full benchmark suite should take no more than two hours with a reasonable internet connection.

There are two ways to install and run this RE: either using the Julia script or using the Docker script. In both cases, first clone this repository.

Using the Julia script. First install the Julia compiler following the instructions here. Once you have installed Julia, execute

shell $ julia startup.jl

to run all the benchmarks.

Using the Docker container. To build the container, you need the program docker. For installation instructions on different platforms, consult the Docker documentation. For general information about Docker, see this guide. Once you have installed Docker, start the submit.sh script:

shell $ ./submit.sh

The Docker container can also be run interactively:

```shell $ docker run -it juliareach bash

$ julia

julia> include("startup.jl") ```

Outputs

After the benchmark runs have finished, the results will be stored in the folder result and plots are generated in your working directory.

How the Julia environment was created

```julia julia> ]

(@v1.8) pkg> activate . Activating new environment at .../ARCH2023_AINNCS/Project.toml

pkg> add ClosedLoopReachability pkg> add DifferentialEquations pkg> add LinearAlgebra pkg> add MAT pkg> add ONNX pkg> add Plots pkg> add YAML ```

Owner

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

Reachability Computations for Dynamical Systems in Julia

Citation (CITATION.bib) 

@inproceedings{LopezAFJLS23,
  author    = {Diego Manzanas Lopez and
               Matthias Althoff and
               Marcelo Forets and
               Taylor T.\ Johnson and
               Tobias Ladner and
               Christian Schilling},
  editor    = {Goran Frehse and
               Matthias Althoff},
  title     = {{ARCH-COMP23} Category Report: Artificial Intelligence and Neural
               Network Control Systems {(AINNCS)} for Continuous and Hybrid Systems
               Plants},
  booktitle = {{ARCH}},
  series    = {EPiC Series in Computing},
  volume    = {96},
  publisher = {EasyChair},
  year      = {2023},
  url       = {https://doi.org/10.29007/x38n},
  doi       = {10.29007/x38n}
}

GitHub Events

Total
Last Year

Committers

Last synced: about 1 year ago

All Time
  • Total Commits: 3
  • Total Committers: 1
  • Avg Commits per committer: 3.0
  • Development Distribution Score (DDS): 0.0
Past Year
  • Commits: 0
  • Committers: 0
  • Avg Commits per committer: 0.0
  • Development Distribution Score (DDS): 0.0
Top Committers
Name Email Commits
schillic g****t@c****t 3
Committer Domains (Top 20 + Academic)
christianschilling.net: 1

Issues and Pull Requests

Last synced: about 1 year ago

All Time
  • Total issues: 0
  • Total pull requests: 0
  • Average time to close issues: N/A
  • Average time to close pull requests: N/A
  • Total issue authors: 0
  • Total 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
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
View more stats
Top Authors
Issue Authors
Pull Request Authors
Top Labels
Issue Labels
Pull Request Labels

Dependencies

Dockerfile docker
  • julia 1.8.5 build