Skip to content

Latest commit

 

History

History
23 lines (12 loc) · 967 Bytes

README.md

File metadata and controls

23 lines (12 loc) · 967 Bytes
Raw

RP21_RE

Repeatibility evaluation for "Reachability of weakly nonlinear systems using Carleman linearization" (RP'21) by Marcelo Forets and Christian Schilling.

The article was accepted at the 15th International Conference on Reachability Problems, which took place in Liverpool, UK between October 25-27, 2021.

An arXiv version is available here.

Installation

  • Install Julia (download here).

  • Run the script startup.jl either within the Julia REPL with include("startup.jl") or from the terminal:

$ julia startup.jl

The startup script adds the package implementing our method plus some additional dependencies for simulation and plotting. Resulting plots (in pdf format) and runtime table (in CSV format) are stored in a new folder named results.