Destination registration elevator group control system modeling and dispatching policy in peak traffic pattern | IEEE Conference Publication | IEEE Xplore