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