blegat/RPHSCC2016 blegat/RPHSCC2016

  • Stars
    star
    3
  • Rank 3,866,121 (Top 79 %)
  • Language
    MATLAB
  • Created about 8 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
blegat/RPHSCC2016
github

blegat

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Repeatibility Package for the paper "Generating unstable trajectories for Switched Systems via Dual Sum-Of-Squares techniques" of HSCC 2016

More Repositories

1

mathraining

Site interactif avec théorie, exercices et problèmes
Ruby
46
star
2

RowEchelon.jl

Small package containing the rref fonction for computing the reduced row echelon form of the matrix A
Julia
33
star
3

HybridSystems.jl

Hybrid Systems definitions in Julia
Julia
28
star
4

SwitchOnSafety.jl

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

SetProg.jl

Set Programming with JuMP
Julia
20
star
6

glpkmex

A Matlab MEX Interface for the GLPK library
C
17
star
7

EntropicCone.jl

Entropic Cone approximation and optimization
Julia
8
star
8

usaco-tool

Tool in bash and python for training at the usacogate website
Shell
7
star
9

ICCOPT_SummerSchool_2022

Jupyter Notebook
7
star
10

git-dot

Generate a .dot file describing a git history
Python
6
star
11

SumOfSquaresSlides

Slides of the "Sum-of-squares optimization in Julia" presentation at the JuMP Developers Meetup
TeX
4
star
12

SeqOpt.jl

Sequential solver for nonlinear optimization
Julia
4
star
13

Zaphod.jl

ADMM conic solver
Julia
2
star
14

JuMP-dev_2019_tutorial

Advanced tutorial for JuMP-dev 3 : https://www.juliaopt.org/meetings/santiago2019/
Jupyter Notebook
2
star
15

openvoc

Web application for managing, sharing and export vocabulary lists
Ruby
2
star
16

OpenVocGUI

2
star
17

LFSAB1507

Projet MAP
TeX
2
star
18

blegat.github.io

Code for my website, powered by JuDoc.jl https://blegat.github.io
JavaScript
2
star
19

ContractionHierarchies.jl

Contraction Hierarchies shortest path for OpenStreetMap
Julia
2
star
20

JuMPConverter.jl

Converter from GAMS models to JuMP models
Julia
1
star
21

PseudoSDDP

Pseudo code for SDDP
Julia
1
star
22

LINMA1170

Analyse Numérique en force
TeX
1
star
23

VoroX.jl

Julia
1
star
24

scs

C package that solves convex cone problems via operator splitting
C
1
star
25

OpenVocCL

Learn you vocabulary by being questioned by a script that remember your mistakes
Shell
1
star
26

TravellingSalesman

Reactive UI for the travelling salesman optimization problem using Genie and JuMP
Julia
1
star
27

benchmark

benchmark for SINF1252 at EPL
C
1
star
28

MCPSD.jl

Julia translation of the mc_psd.m MATLAB function for solving Max-Cut PSD relaxation
Julia
1
star