JuliaReach: a toolbox for set-based reachability
JuliaReach: a toolbox for set-based reachability
复制标题
JuliaReach：基于集合的可达性工具箱
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Christian Schilling
中科院分区：
文献类型：
--
作者：
Sergiy Bogomolov;M. Forets;Goran Frehse;Kostiantyn Potomkin;Christian Schilling
我们提出了JuliaReach，一个基于集合的动力系统可达性分析工具箱。JuliaReach由两个主要包组成：可达性，包含连续和混合系统的可达性算法的实现，以及LazySets，一个独立的库，实现了最先进的凸集微积分算法。该库提供了具体和懒惰的集合表示，后者代表延迟集合计算直到需要它们的能力。编程语言Julia的选择和我们工具箱的附带文档使研究人员能够以独立于平台的方式轻松地将基于集合的算法从数学转换为软件，同时实现与静态编译语言相当的运行时性能。结合高维度的惰性操作和低维度的显式计算，JuliaReach可以应用于解决复杂的大规模问题。
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.
DOI：
10.1007/978-3-642-31424-7_35
发表时间：
2012-07
期刊：
Proceedings of the 17th international conference on Hybrid systems: computation and control
影响因子：
--
作者：
Sergiy Bogomolov;Goran Frehse;R. Grosu;Hamed Ladan;A. Podelski;Martin Wehrle
通讯作者：
Sergiy Bogomolov;Goran Frehse;R. Grosu;Hamed Ladan;A. Podelski;Martin Wehrle
DOI：
10.1007/978-3-319-57288-8_20
发表时间：
2017-05
期刊：
--
影响因子：
--
作者：
Stefan Schupp;E. Ábrahám;Ibtissem Ben Makhlouf;S. Kowalewski
通讯作者：
Stefan Schupp;E. Ábrahám;Ibtissem Ben Makhlouf;S. Kowalewski