SwitchOnSafety.jl

Julia Package for computing [controlled] invariant sets of Hybrid Systems using Sum Of Squares Programming

OTHER License

Stars
22
Committers
5
View Code on GitHub
Ecosystems: The Julia Language

Commit Statistics

Past Year

All Time

Total Commits
296
Total Committers
5
Avg. Commits Per Committer
59.2
Bot Commits
8

Issue Statistics

Past Year

All Time

Total Pull Requests
5
56
Merged Pull Requests
4
27
Total Issues
0
7
Time to Close Issues
N/A
about 4 hours
Package Rankings
Top 22.58% on Juliahub.com
Badges
Extracted from project README
Build Status DOI
Related Projects
Diversity.jl

Julia package for diversity measurement

31 Aug 2014 33
PAndQ.jl

A computer algebra system for propositional logic

25 Sep 2022 16
AdaptiveResonance.jl

A Julia package for Adaptive Resonance Theory (ART) algorithms.

26 Jun 2020 23
IncrementalInference.jl

Clique recycling non-Gaussian (multi-modal) factor graph solver; also see Caesar.jl.

08 Apr 2016 72
InvertibleNetworks.jl

A Julia framework for invertible neural networks

07 Feb 2020 151
TaylorIntegration.jl

ODE integration using Taylor's method, and more, in Julia

10 Aug 2016 112
AugmentedGaussianProcesses.jl

Gaussian Process package based on data augmentation, sparsity and natural gradients

25 Jan 2018 135
DedekindCutArithmetic.jl

Exact real arithmetic using Dedekind cuts

21 Oct 2024 5
Cuba.jl

Library for multidimensional numerical integration with four independent algorithms: Vegas, Suave...

03 Apr 2016 77
EcoSISTEM.jl

Julia package for ecosystem simulation

31 Mar 2020 40
BlochSim.jl

An implementation of the Bloch-McConnell equations for simulating MR spin dynamics.

28 Jun 2019 27
FuzzyLogic.jl

Julia package for fuzzy inference

28 Dec 2022 29
Polyhedra.jl

Polyhedral Computation Interface

25 Feb 2016 172
ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

03 Dec 2019 190
HiddenMarkovModels.jl

A Julia package for simulation, inference and learning of Hidden Markov Models.

24 Feb 2023 85