Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • ecrts23-ae
2 results
Created with Raphaël 2.2.01Aug24Maydoc: update reference to papermastermasterREAME, doc: fix DOIevaluation: add script computing the stability coefficients for the double integrator under (1,5) switchingecrts23-aeecrts23-aeREADME.md: elaborate on repositoryevaluation: add experiment comparing the prototypical abstraction switching against a fixed (1, 5) sequenceevaluation: add experiment comparing different measurement outputs for the double integratorbenchmarks: add double integratorevaluation: add utilities for exporting result artifactsevaluation: add tools to create statistics for simulation runsevaluation: add utilities to validate simulation runsvisualization: add visualization comparing the influence of different measurement outputsvisualization: add utilities for plotting experiment results in the abstraction domainvisualization: add color utilitiessimulation: add event-based simulationexperiment: add infrastructure for conducting and storing simulation experimentsparametrization: add state abstraction parametrization for discrete-time system modelstate_abstraction: add state abstraction classsystem_model: implement switched system modelellipsoids: add functionality for ellipsoidal setsanalysis: add s.p.(s)d. matrix utils, PQ norms and abstraction coefficientsutil: implement function to check for the presence of MOSEKutil: implement utilities for (de-) serializationversioning: add utilities for versioningtest: add unit test framework and configure cidoc: add preliminary reference to paperbootstrap repository with .gitignore, pipenv, Doxygen, README, and a central MakefileCOPYING: add BSD 3-clause license text