Model Predictive Control for Lane Merging Automation With Recursive Feasibility Guarantees and Its Experimental Validation | IEEE Journals & Magazine | IEEE Xplore