Gas monitoring and power cut-off system for underground mines | IEEE Conference Publication | IEEE Xplore