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
No releases found yet, please check back later.
Package Rankings
Top 22.58% on Juliahub.com
Badges
Extracted from project README
Build Status DOI
Related Projects
HiddenMarkovModels.jl

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

24 Feb 2023 85
InvertibleNetworks.jl

A Julia framework for invertible neural networks

07 Feb 2020 151
FuzzyLogic.jl

Julia package for fuzzy inference

28 Dec 2022 29
Cuba.jl

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

03 Apr 2016 77
TaylorIntegration.jl

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

10 Aug 2016 112
EcoSISTEM.jl

Julia package for ecosystem simulation

31 Mar 2020 40
AdaptiveResonance.jl

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

26 Jun 2020 23
AugmentedGaussianProcesses.jl

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

25 Jan 2018 135
IncrementalInference.jl

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

08 Apr 2016 72
ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

03 Dec 2019 190
PAndQ.jl

A computer algebra system for propositional logic

25 Sep 2022 16
DedekindCutArithmetic.jl

Exact real arithmetic using Dedekind cuts

21 Oct 2024 5
Diversity.jl

Julia package for diversity measurement

31 Aug 2014 33
BlochSim.jl

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

28 Jun 2019 27
Polyhedra.jl

Polyhedral Computation Interface

25 Feb 2016 172