JuliaReach
From MaRDI portal
Publication:5239217
DOI10.1145/3302504.3311804OpenAlexW3098560806MaRDI 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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (17)
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 ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Model predictive monitoring of dynamical systems for signal temporal logic specifications ⋮ Synthesis of hybrid automata with affine dynamics from time-series data ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis ⋮ Reachability of weakly nonlinear systems using Carleman linearization ⋮ Reachability analysis of nonlinear systems using hybridization and dynamics scaling ⋮ JuliaReach ⋮ 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
Uses Software
This page was built for publication: JuliaReach
