A Mixed-integer Programming Approach to Group Control of Elevator Systems with Destination Hall Call Registration | IEEE Conference Publication | IEEE Xplore