Benchmark for analysis, modeling and control of ventilation systems in small-scale mine | IEEE Conference Publication | IEEE Xplore