TY - GEN
T1 - JuliaReach
T2 - 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019
AU - Bogomolov, Sergiy
AU - Forets, Marcelo
AU - Frehse, Goran
AU - Potomkin, Kostiantyn
AU - Schilling, Christian
N1 - Publisher Copyright:
© 2019 ACM.
PY - 2019/4/16
Y1 - 2019/4/16
N2 - 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.
AB - 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.
KW - Hybrid systems
KW - Lazy computation
KW - Reachability analysis
U2 - 10.1145/3302504.3311804
DO - 10.1145/3302504.3311804
M3 - Conference contribution
AN - SCOPUS:85064990154
T3 - HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control
SP - 39
EP - 44
BT - HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems
PB - Association for Computing Machinery, Inc
Y2 - 16 April 2019 through 18 April 2019
ER -