HySynth Artifact for HSCC 2021

This repository contains the saved models and results from the evaluation of HySynth in [1]. The saved models can be used to short-cut the computations. For that, simply copy the folder to the data folder of HySynth.

References

[2] Miriam García Soto, Thomas A. Henzinger, and Christian Schilling: Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data. Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (HSCC) 2021. DOI. PDF.

@inproceedings{GarciaHS21,
  author    = {Miriam Garc{\'{\i}}a Soto and
               Thomas A. Henzinger and
               Christian Schilling},
  editor    = {Sergiy Bogomolov and
               Rapha{\"{e}}l M. Jungers},
  title     = {Synthesis of hybrid automata with affine dynamics from time-series
               data},
  booktitle = {{HSCC}},
  pages     = {2:1--2:11},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3447928.3456704},
  doi       = {10.1145/3447928.3456704}
}