Model Predictive Path Planning of AGVs: Mixed Logical Dynamical Formulation and Distributed Coordination | IEEE Journals & Magazine | IEEE Xplore