blegat/RPHSCC2016 blegat/RPHSCC2016

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    MATLAB
  • Created over 8 years ago
  • Updated over 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

ICCOPT_SummerSchool_2022

Jupyter Notebook
8
star
9

usaco-tool

Tool in bash and python for training at the usacogate website
Shell
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

VoroX.jl

Julia
3
star
14

Zaphod.jl

ADMM conic solver
Julia
2
star
15

JuMP-dev_2019_tutorial

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

openvoc

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

OpenVocGUI

2
star
18

LFSAB1507

Projet MAP
TeX
2
star
19

blegat.github.io

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

ContractionHierarchies.jl

Contraction Hierarchies shortest path for OpenStreetMap
Julia
2
star
21

JuMPConverter.jl

Converter from GAMS models to JuMP models
Julia
1
star
22

PseudoSDDP

Pseudo code for SDDP
Julia
1
star
23

LINMA1170

Analyse Numérique en force
TeX
1
star
24

OpenVocCL

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

benchmark

benchmark for SINF1252 at EPL
C
1
star
26

MCPSD.jl

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

CondensedMatterSOS.jl

Condensed Matter with Sum-of-Square optimization
Julia
1
star
28

CPWithJuMP

Material for tutorial "Constraint Programming with JuMP"
Julia
1
star