Optimal path planning for surveillance with temporal-logic constraints*

International Journal of Robotics Research

Volumn 30, Issue 14, 2011, Pages 1695-1708

  Smith, Stephen L ^a   Tûmová, Jana ^b,c   Belta, Calin ^b   Rus, Daniela ^d  

^a UNIVERSITY OF WATERLOO   (Canada)

^b Boston University   (United States)

^c MASARYK UNIVERSITY   (Czech Republic)

^d MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Motion planning; optimal path planning; temporal logic

Indexed keywords

DATA COLLECTION; ENVIRONMENT MODELS; GRAPH ALGORITHMS; LTL FORMULAE; OPTIMAL PATH PLANNING; ROBOT PATH; TRANSITION SYSTEM;

AUTOMATA THEORY; COST FUNCTIONS; DATA ACQUISITION; MOTION PLANNING; OPTIMIZATION; ROBOTS; SPECIFICATIONS; TEMPORAL LOGIC;

ROBOT PROGRAMMING;

EID: 83755163624     PISSN: 02783649     EISSN: 17413176     Source Type: Journal    
DOI: 10.1177/0278364911417911     Document Type: Article

References (33)

1. Antoniotti M, Mishra B. Discrete event models + temporal logic = supervisory controller: Automatic synthesis of locomotion controllers. IEEE International Conference on Robotics and Automation ; 1995 Nagoya, Japan ; 1995. 1441.
2. Baier C, Katoen J-P, Larsen KG Principles of Model Checking. Cambridge, MA: MIT Press ; 2008:
3. Barnat J, Brim L, Ročkai P High Performance Computational Systems Biology. Los Alamitos, CA: IEEE Computer Society Press ; 2009: 31-32.
4. Belta C, Habets LCGJM. Control of a class of nonlinear systems on rectangles. IEEE Transactions on Automatic Control. 2006 ; 51: 1749-1759 (Pubitemid 44824360)
5. Belta C, Isler V, Pappas GJ. Discrete abstractions for robot motion planning and control in polygonal environment. IEEE Transactions on Robotics. 2005 ; 21: 864-875
6. Clarke EM, Peled D, Grumberg O Model Checking. Cambridge, MA: MIT Press ; 1999:
7. Ding XC, Smith SL, Belta C, Rus D IFAC World Congress. Milan, Italy: ; 2011:
8. Fainekos GE, Girard A, Kress-Gazit H, Pappas GJ. Temporal logic motion planning for dynamic robots. Automatica. 2009 ; 45: 343-352
9. Gastin P, Oddoux D. Fast LTL to Büchi automata translation. Conference on Computer Aided Verification ; 2001 ; 2001. 53.
10. Gerth R, Peled D, Vardi M, Wolper P Protocol Specification, Testing and Verification. London: Chapman & Hall ; 1995: 3-18.
11. Habets LCGJM, van Schuppen JH. A control problem for affine dynamical systems on a full-dimensional polytope. Automatica. 2004 ; 40: 21-35
12. Habets LCGJM, Collins PJ, van Schuppen JH. Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Transactions on Automatic Control. 2006 ; 51: 938-948 (Pubitemid 43997244)
13. Holzmann G. The model checker SPIN. IEEE Transactions on Software Engineering. 1997 ; 25: 279-295 (Pubitemid 127828295)
14. Karaman S, Frazzoli E. Complex mission optimization for multiple-uavs using linear temporal logic. American Control Conference ; 2008a Seattle, WA ; 2008a. 2003.
15. Karaman S, Frazzoli E. Vehicle routing problem with metric temporal logic specifications. IEEE Conference on Decision and Control ; 2008b Cancún, México ; 2008b. 3953.
16. Karaman S, Rasmussen S, Kingston D, Frazzoli E. Specification and planning of uav missions: a process algebra approach. American Control Conference ; 2009 St Louis, MO ; 2009. 1442.
17. Korte B, Vygen J Combinatorial Optimization: Theory and Algorithms. 2007 ) Combinatorial Optimization: Theory and Algorithms, 4th edn (Algorithmics and Combinatorics, Vol. 21). Berlin: Springer. Berlin: Springer ; 2007:
18. Kress-Gazit H, Fainekos GE, Pappas GJ. Temporal logic-based reactive mission and motion planning. IEEE Transactions on Robotics. 2009 ; 25: 1370-1381
19. Lahijanian M, Andersson SB, Belta C. Temporal logic control for Markov decision processes. American Control Conference ; 2011 San Francisco, CA ; 2011..
20. Laporte G. Fifty years of vehicle routing. Transportation Science. 2009 ; 43: 408-416
21. LaValle SM Planning Algorithms. Cambridge: Cambridge University Press ; 2006:
22. LaValle SM, Kuffner JJ. Randomized kinodynamic planning. International Journal of Robotics Research. 2001 ; 20: 378-400
23. Loizou SG, Kyriakopoulos KJ. Automatic synthesis of multiagent motion tasks based on LTL specifications. IEEE Conference on Decision and Control ; 2004 Paradise Island, Bahamas ; 2004. 153.
24. Quottrup MM, Bak T, Izadi-Zamanabadi R. Multi-robot motion planning: A timed automata approach. IEEE International Conference on Robotics and Automation ; 2004 New Orleans, LA ; 2004. 4417.
25. Rimon E, Koditschek DE. Exact robot navigation using artificial potential functions. IEEE Transactions on Robotics and Automation. 1992 ; 8: 501-518 (Pubitemid 23580959)
26. Russell S, Norvig P Artificial Intelligence: A Modern Approach. 2nd edn. Englewood Cliffs, NJ: Prentice Hall ; 2003:
27. Smith SL, Tûmová J, Belta C, Rus D. Optimal path planning under temporal logic constraints. IEEE/RSJ International Conference on Intelligent Robots & Systems ; 2010 Taipei, Taiwan ; 2010. 3288.
28. Tedrake R, Manchester IR, Tobenkin MM, Roberts JW. LQR-trees: Feedback motion planning via sums of squares verification. International Journal of Robotics Research. 2010 ; 29: 1038-1052
29. Monographs on Discrete Mathematics and Applications. Toth P Vigo D, ed. Philadelphia, PA: SIAM ; 2001:
30. Tûmová J, Yordanov B, Belta C, Aerná I, Barnat J. A symbolic approach to controlling piecewise affine systems. IEEE Conference on Decision and Control ; 2010 Atlanta, GA ; 2010. 4230.
31. Vardi MY, Wolper P. An automata-theoretic approach to automatic program verification. Logic in Computer Science. 1986 ;: 322-331
32. Vardi MY, Wolper P. Reasoning about infinite computations. Information and Computation. 1994 ; 115: 1-37
33. Wongpiromsarn T, Topcu U, Murray RM Hybrid Systems: Computation and Control. Sweden: Stockholm ; 2010: 101-110.