State-Observer Design of a PDE-Modeled Mining Cable Elevator With Time-Varying Sensor Delays | IEEE Journals & Magazine | IEEE Xplore