Modeling and control of mine main fan switchover system