Ioannis Filippidis

tool_lists. Links to tools by subject

openstreetmap. Interface to OpenStreetMap (load maps, extract road connectivity, plot road network & find shortest path)

fig2u3d. Export MATLAB figure as U3D file or directly to 3D interactive PDF

nx2tikz. Export NetworkX graphs to TikZ directly

astutils. Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.

promela. Promela parser using PLY (Python lex-yacc)

svglatex. Include SVG graphics in LaTeX via Inkscape

plot_utils. Vectorized and other plotting MATLAB functions

nfsim. Navigation Function package

numerical_utils. Vectorized and other numerical MATLAB functions

openpromela. Synthesis of discrete dynamical systems from multi-paradigm specifications

latex_packages. LaTeX style-files for graphics and mathematics

tlapy. Python utilities for working with TLA+ specifications

gr1experiments. Scalable GR(1) synthesis implementation, experimental input files

cudd. Mirror of: CUDD: Colorado University Decision Diagram package <http://vlsi.colorado.edu/~fabio/>

latex_scripts. makefile, graphicspath, hiding, pdfcrop

contract_maker. 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>