johnyf/contract_maker johnyf/contract_maker

  • Stars
    star
    1
  • Language
    Python
  • License
    Other
  • Created about 9 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
johnyf/contract_maker
github

johnyf

Reviews

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

Repository Details

Construction of GR(1) contracts for distributed systems (research prototype): <https://doi.org/10.1109/JPROC.2018.2834926> and <https://doi.org/10.1109/ACC.2016.7525009>

More Repositories

1

tool_lists

Links to tools by subject
366
star
2

openstreetmap

Interface to OpenStreetMap (load maps, extract road connectivity, plot road network & find shortest path)
MATLAB
94
star
3

fig2u3d

Export MATLAB figure as U3D file or directly to 3D interactive PDF
MATLAB
62
star
4

nx2tikz

Export NetworkX graphs to TikZ directly
Python
29
star
5

astutils

Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.
Python
16
star
6

svglatex

Include SVG graphics in LaTeX via Inkscape
Python
10
star
7

promela

Promela parser using PLY (Python lex-yacc)
Python
9
star
8

plot_utils

Vectorized and other plotting MATLAB functions
MATLAB
8
star
9

nfsim

Navigation Function package
MATLAB
7
star
10

numerical_utils

Vectorized and other numerical MATLAB functions
MATLAB
4
star
11

openpromela

Synthesis of discrete dynamical systems from multi-paradigm specifications
Python
4
star
12

gr1experiments

Scalable GR(1) synthesis implementation, experimental input files
Python
1
star