Development characteristics of plasma channel for rock breaking by pulsed discharge | IEEE Conference Publication | IEEE Xplore