Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
juliahub.com "reachability-analysis" keyword
IntervalMatrices 0.10.0
Matrices with interval coefficients in Julia22 versions - Latest release: 5 months ago - 1 dependent package - 18 stars on GitHub
ReachabilityAnalysis 0.25.0
Computing reachable states of dynamical systems in Julia85 versions - Latest release: about 2 months ago - 1 dependent package - 185 stars on GitHub
Top 5.7% on juliahub.com
142 versions - Latest release: 17 days ago - 18 dependent packages - 226 stars on GitHub
LazySets 2.13.0
Scalable symbolic-numeric set computations in Julia142 versions - Latest release: 17 days ago - 18 dependent packages - 226 stars on GitHub
Related Keywords
formal-verification
2
interval-arithmetic
2
set-propagation
2
julia
2
numerical-analysis
1
minkowski-sum
1
convex-sets
1
polyhedra
1
lazy-evaluation
1
projections
1
geometry
1
calculus
1
convex-hull
1
sets
1
geometry-algorithms
1
computational-geometry
1
zonotope
1
polygons
1
hybrid-systems
1
cyber-physical-systems
1
rigorous-numerics
1
differential-equations
1
dynamical-systems
1
control-systems
1
verification
1
ode
1
automatic-control
1
simulations
1
flowpipe
1
matrix-computations
1
matrix-exponential
1
intervals
1