CIF models used in the ECC 2019 paper

Compatible with CIF version r9682, downloaded from: http://cif.se.wtb.tue.nl/

Specific tooling for automatic clustering and generating all supervisors for MLDES are not yet publicly available.

The file data_all_bottom.txt contains the output data of the benchmark experiments.

The map SimpleLock contains the model of the simple lock that is used as a running example in Section IV of the paper.

The map Benchmark contains all the models used to obtain the experimental results presented in Section V of the paper.

The map generated_files contains all generated files after applying bus multilevel supervisory synthesis.

For any questions related to the code please contact: [email protected].