VOOZH

URL: https://github.com/topics/set-propagation

⇱ set-propagation · GitHub Topics · GitHub

#

set-propagation

Here are 3 public repositories matching this topic...

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia

calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons projections formal-verification polyhedra sets minkowski-sum reachability-analysis convex-sets geometry-algorithms zonotope set-propagation

Updated
Julia

JuliaReach / ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

julia verification ode simulations dynamical-systems control-systems differential-equations interval-arithmetic hybrid-systems formal-verification numerical-analysis cyber-physical-systems reachability-analysis automatic-control flowpipe rigorous-numerics set-propagation

Updated
Julia

JuliaReach / LazySets-JuliaCon21

LazySets.jl article for the JuliaCon 2021 Conference Proceedings

formal-verification reachability-analysis hybrid-system set-propagation support-function

Updated
TeX

Improve this page

Add a description, image, and links to the set-propagation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the set-propagation topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.