Optimization-based collision avoidance in multi-car elevator systems | IEEE Conference Publication | IEEE Xplore