MILP and NLP techniques for centralized trajectory planning of multiple unmanned air vehiclesFrancesco BorrelliDharmashankar Subramanianet al.2006ACC 2006