JuliaReach/ReachabilityAnalysis.jl

This is stars and forks stats for /JuliaReach/ReachabilityAnalysis.jl repository. As of 02 May, 2024 this repository has 183 stars and 15 forks.

ReachabilityAnalysis.jl Documentation Status Community License ✨ What is Reachability Analysis? Reachability analysis is concerned with computing rigorous approximations of the set of states reachable by a dynamical system. In the scope of this package are systems modeled by continuous or hybrid dynamical systems, where the dynamics changes with discrete events. Systems are modelled by ordinary differential equations (ODEs) or semi-discrete partial differential equations (PDEs), with uncertain...