Research on modelling and scheduling strategy for mine transportation control system based on CPS. (20th September 2019)