Single elevator scheduling problem with complete information: An exact model using mixed integer linear programming. - Jingyang Xu; Tianke Feng (ACC, 2016)