JuliaReach
From MaRDI portal
Publication:5239217
DOI10.1145/3302504.3311804MaRDI QIDQ5239217
Kostiantyn Potomkin, Christian Schilling, Marcelo Forets, Goran Frehse, Sergiy Bogomolov
Publication date: 22 October 2019
Published in: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1901.10736
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
JuliaReach, Reachability analysis of nonlinear systems using hybridization and dynamics scaling, Adaptive reachability algorithms for nonlinear systems using abstraction error analysis, Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version), Parameter synthesis of polynomial dynamical systems, Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}, Reachability analysis of a general class of neural ordinary differential equations, Reachability analysis and simulation for hybridised Event-B models, Conservative time discretization: a comparative study, Lie symmetries applied to interval integration, A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems, Reachability of weakly nonlinear systems using Carleman linearization
Uses Software