Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: overapproximating

EthanJamesLew/lazy-sets-rs

Implementing the scalable symbolic-numeric set computations ideas of LazySets.jl in Rust

Language: Rust - Size: 56.6 KB - Last synced at: 2 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

aalanwar/Distributed-Set-Based-Observers-Using-Diffusion-Strategy

This repo is for Distributed Set-Based Observers Using Diffusion Strategy

Language: MATLAB - Size: 26.7 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1

Related Keywords
overapproximating 2 convex-sets 1 reachability 1 set-operations 1 intersection 1 intersection-of-zonotopes 1 set-based-estimation 1 set-membership 1 strip 1 zonotope 1 zonotope-intersection 1