JuliaReach: a Toolbox for Set-Based Reachability
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909435209711616 |
|---|---|
| author | Bogomolov, Sergiy Forets, Marcelo Frehse, Goran Potomkin, Kostiantyn Schilling, Christian |
| author_facet | Bogomolov, Sergiy Forets, Marcelo Frehse, Goran Potomkin, Kostiantyn Schilling, Christian |
| contents | We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of reachability algorithms for continuous and hybrid systems, and LazySets, a standalone library that implements state-of-the-art algorithms for calculus with convex sets. The library offers both concrete and lazy set representations, where the latter stands for the ability to delay set computations until they are needed. The choice of the programming language Julia and the accompanying documentation of our toolbox allow researchers to easily translate set-based algorithms from mathematics to software in a platform-independent way, while achieving runtime performance that is comparable to statically compiled languages. Combining lazy operations in high dimensions and explicit computations in low dimensions, JuliaReach can be applied to solve complex, large-scale problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1901_10736 |
| institution | arXiv |
| publishDate | 2019 |
| record_format | arxiv |
| spellingShingle | JuliaReach: a Toolbox for Set-Based Reachability Bogomolov, Sergiy Forets, Marcelo Frehse, Goran Potomkin, Kostiantyn Schilling, Christian Systems and Control Dynamical Systems We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of reachability algorithms for continuous and hybrid systems, and LazySets, a standalone library that implements state-of-the-art algorithms for calculus with convex sets. The library offers both concrete and lazy set representations, where the latter stands for the ability to delay set computations until they are needed. The choice of the programming language Julia and the accompanying documentation of our toolbox allow researchers to easily translate set-based algorithms from mathematics to software in a platform-independent way, while achieving runtime performance that is comparable to statically compiled languages. Combining lazy operations in high dimensions and explicit computations in low dimensions, JuliaReach can be applied to solve complex, large-scale problems. |
| title | JuliaReach: a Toolbox for Set-Based Reachability |
| topic | Systems and Control Dynamical Systems |
| url | https://arxiv.org/abs/1901.10736 |