Linear temporal logic vehicle routing with applications to multi-UAV mission planning

International Journal of Robust and Nonlinear Control

Volumn 21, Issue 12, 2011, Pages 1372-1395

  Karaman, S ^a   Frazzoli, E ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

linear temporal logic; mixed integer linear programming; UAV mission planning; vehicle routing

Indexed keywords

CO-OPERATIVE CONTROL; COMBINATORIAL COMPLEXITY; COMPLEX TASK; HIGH LEVEL SPECIFICATION; LINEAR TEMPORAL LOGIC; MILP FORMULATION; MISSION PLANNING; MIXED INTEGER LINEAR PROGRAMMING; MULTI UAV; OPTIMAL PLAN; TEMPORAL CONSTRAINTS; UAV MISSION PLANNING; UNINHABITED AERIAL VEHICLE; VEHICLE ROUTING PROBLEM;

HIGH LEVEL LANGUAGES; INTEGER PROGRAMMING; LINEAR PROGRAMMING; SPECIFICATION LANGUAGES; SPECIFICATIONS; VEHICLES;

TEMPORAL LOGIC;

EID: 79960086604     PISSN: 10498923     EISSN: 10991239     Source Type: Journal    
DOI: 10.1002/rnc.1715     Document Type: Article

References (43)

1. Dantzig GB, Ramser JH, The truck dispatching problem. Management Science 1959; 6: 80-91.
2. Clarke G, Wright JW, Scheduling of vehicles from a central depot to a number of delivery points. Operations Research 1964; 12: 568-581.
3. Garey MR, Johnson DS, Computers and Intractibility: A Guide to Theory of NP-completeness. W.H. Freeman Co: New York, 1979.
4. Lenstra JK, Kan AR, Complexity of the vehicle routing and scheduling problems. Networks 1981; 11 (2): 221-227. (Pubitemid 13506973)
5. Laporte G, Robert Y, Exact algorithms for the vehicle routing problem. Annals of Discrete Mathematics 1987; 31: 147-184.
6. Toth P, Vigo D, Models, relaxations and exact approaches for the capacitated vehicle routing problem. Discrete Applied Mathematics 2002; 123: 478-512.
7. Braysy O, Gendreau M, Vehicle routing problem with time windows, part I: route construction and local search algorithms. Transportation Science 2005; 39 (1): 104-118. (Pubitemid 40466664)
8. Braysy O, Gendreau M, Vehicle routing problem with time windows, part II: metaheuristics. Transportation Science 2005; 39 (1): 119-139. (Pubitemid 40453880)
9. Toth P, Vigo D, (eds). The Vehicle Routing Problem. SIAM: Philadelphia, PA, 2002.
10. Angelelli E, Speranza MG, The applications of a vehicle routing model to a waste-collection problem: two case studies. Journal of the Operational Research Society 2002; 53: 944-952. (Pubitemid 34964219)
11. Onal H, Jaramillo BM, Mazzoco MA, Two formulations of the vehicle routing problem: an empirical application and computational experience. Logistics and Transportation Review 1996; 32 (2): 177-190.
12. Ruiz R, Maroto C, Alcaraz J, A decision support system for a real vehicle routing problem. European Journal of Operational Research 2004; 153: 593-606.
13. Bellingham J, Tillerson M, Richards A, How JP, Multi-Task Allocation and Path Planning for Cooperating UAVs. Coopertive Control: Models, Applications and Algorithms. Kluwer Academic Publishers: Dordrecht, 2001.
14. Alighanbari M, Kuwata Y, How JP, Coordination and control of multiple UAVs with timing constraints and loitering. American Control Conference. IEEE: New York, 2003.
15. Kingston DB, Schumacher CJ, Time-dependent cooperative assignment. American Control Conference. IEEE: New York, 2005.
16. Richards A, Kuwata Y, How JP, Experimental demonstrations of real-time MILP control. Guidance, Navigation, and Control Conference. AIAA: New York, 2003.
17. Schumacher C, Chandler P, Pachter M, Pachter L, UAV task assignment with timing constraints via mixed-integer linear programming. AIAA 3rd Unmanned Unlimited Technical Conference, Workshop, and Exhibit. AIAA: New York, 2004.
18. Schumacher C, Chandler PR, Pachter M, Patcher LS, Optimization of air vehicles operations using mixed-integer linear programming. Journal of the Operational Research Society 2007; 58: 516-527. (Pubitemid 46449945)
19. Weinstein AL, Schumacher C, UAV scheduling via the vehicle routing problem with time windows. Technical Report AFRL-VA-WP-TP-2007-306, Air Force Research Laboratory, January 2007.
20. Pnueli A, The temporal logic of programs. Eighteenth Annual IEEE-CS Symposium on Foundations of Computer Science, Providence, RI, U.S.A., 1977; 46-57.
21. Manna Z, Pnueli A, The Temporal Logic of Reactive and Concurrent Systems. Springer: Berlin, 1992.
22. Clarke EM, Grumberg O, Pled DA, Model Checking. MIT Press: Cambridge, MA, 1999.
23. Wolper P, Constructing Automata from Temporal Logic Formulas: A tutorial. Lecture Notes in Computer Science, vol. 2090. Springer: Berlin, 2001; 261-277.
24. Gabbay DM, Hodkinson I, Reynolds M, Intervals and planning. Temporal Logic: Mathematical Foundations and Computational Aspects; Volume 2: Oxford Logic Guides. Oxford Science Publications: Oxford, 1994.
25. Fusaoka A, Seki H, Takahashi K, A description sand reasoning of plant controllers in temporal logic. Proceedings of the 8th International Joint Conference in Artificial Intelligence, Karlsruhe, FRG, August 1983; 405-408. (Pubitemid 14513924)
26. Thistle JG, Wonham WM, Control problems in a temporal logic framework. International Journal of Control 1986; 44 (4): 943-976. (Pubitemid 16632904)
27. Fainekos GE, Kress-Gazit H, Pappas GJ, Hybrid controllers for path planning: a temporal logic approach. American Control Conference. IEEE: New York, 2005.
28. Kloetzer M, Belta C, A fully automated framework for control of linear systems from temporal logic specifications. IEEE Transactions on Automatic Control 2008; 53 (1): 287-297.
29. Kloetzer M, Belta C, Temporal logic planning and control of robotic swarms by hierarchical abstractions. IEEE Transactions on Automatic Control 2007; 23 (2): 320-331.
30. Tabuada P, Pappas GJ, Linear time logic control of discrete-time linear systems. IEEE Transactions on Automatic Control 2006; 51 (12): 1862-1877. (Pubitemid 46002281)
31. Hadjiconstantinou E, Lucas C, Mitra G, Moody S, Tools for reformulating logical forms into zero-one mixed integer programs: software tools for mathematical programming. European Journal of Operational Research 1994; 72 (2): 262-276.
32. Jeroslow RG, Logic Based Decision Support: Mixed Integer Model Formulation. Elsevier Science: Amsterdam, 1989.
33. Williams HP, Logic applied to integer programming and integer programming applied to logic. European Journal of Operational Research 1995; 81: 605-616.
34. Williams HP, Brailsford SC, Computational logic and integer programming. Advances in Linear and Integer Programming. Oxford Science Publications: Oxford, 1996.
35. Bemporad A, Morari M, Control of systems integrating logic, dynamics, and constraints. Automatica 1999; 35: 407-427.
36. Balinski ML, Quandt RE, On an integer program for a delivery problem. Operations Research 1964; 12 (2): 300-304.
37. Agarwal Y, Mathur K, Salkin HM, A set-partitioning-based exact algorithm for the vehicle routing problem. Networks 1989; 19 (7): 731-749.
38. Desrochers M, Desrosiers J, Solomon M, A new optimization algorithm for the vehicle routing problem with time windows. Operations Research 1992; 40 (2): 342-354.
39. Hoffman KL, Padberg M, Solving airline crew scheduling by branch-and-cut. Management Science 1993; 39 (6): 657-682.
40. Karaman S, Inalhan G, Large-scale task/target assignment for UAV fleets using a distributed branch and price optimization scheme. Proceedings of the 17th IFAC World Congress, Seoul, South Korea, 2008.
41. Bramel J, Simchi-Levi D, On the effectiveness of set covering formulations for the vehicle routing problem. Operations Research 1997; 45 (2): 295-301. (Pubitemid 127684707)
42. Huth M, Ryan M, Logic in Computer Science: Modeling and Reasoning about Systems (2nd edn). Cambridge University Press: Cambridge, 2004.
43. Bowden M, Black Hawk Down: A Story of Modern War. Atlantic Monthly Press: Berkeley, CA, 1999.