Heterogeneous Traffic Intersection Coordination Based on Distributed Model Predictive Control with Invariant Safety Guarantee | IEEE Conference Publication | IEEE Xplore