Researchers from Boston University developed new algorithms to solve the Vehicle Routing Problem, an important problem in the fields of transportation, distribution, and logistics. The proposed algorithms, which are based on concepts and tools from formal verification and optimization, generate collision-free motion plans automatically from temporal logic statements and vehicle characteristics such as maximum operation time and minimum replenish time. The coordination of multiple micro-robots is critical for the success of the bio-CPS project.
Credit: Cristian Ioan Vasile and Calin Belta, Boston University
Back to article