Motion planning with complex goals

IEEE Robotics and Automation Magazine

Volumn 18, Issue 3, 2011, Pages 55-64

  Bhatia, Amit ^a   Maly, Matthew R ^a   Kavraki, Lydia E ^a   Vardi, Moshe Y ^a  

^a Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INITIAL STATE; MOBILE ROBOTIC SYSTEMS; MOTION PLANNING PROBLEMS;

DIFFERENTIAL EQUATIONS; MOTION PLANNING;

ROBOT PROGRAMMING;

EID: 80052898599     PISSN: 10709932     EISSN: None     Source Type: Journal    
DOI: 10.1109/MRA.2011.942115     Document Type: Conference Paper

References (75)

1. H. Choset, K. M. Lynch, S. Hutchinson, G. Kantor, W. Burgard, L. E. Kavraki, and S. Thrun, Principles of Robot Motion: Theory, Algorithms, and Implementations. Cambridge MA: MIT Press, 2005.
2. S. M. LaValle, Planning Algorithms, 1st ed. Cambridge, U.K.: Cambridge Univ. Press, 2006.
3. R. E. Fikes and N. J. Nilsson, "STRIPS: A new approach to the application of theorem proving to problem solving," Artif. Intell., vol. 2, no. 3-4, pp. 189-208, 1971.
4. M. Gelfond and V. Lifschitz, "Action languages," Electron. Trans. AI, vol. 2, no. 3-4, pp. 193-210, 1998.
5. D. McDermott and the AIPS-98 Planning Competition. (1998). PDDL-The planning domain definition language. [Online]. Available: www.cs.yale.edu/homes/ dvm
6. M. Ghallab, D. Nau, and P. Traverso, Automated Planning: Theory and Practice. San Mateo, CA: Morgan Kaufmann, 2004.
7. K. Hauser and J.-C. Latombe, "Integrating task and PRM motion planning," in Proc. Int. Conf. Automated Planning and Scheduling, Workshop on Bridging the Gap Between Task and Motion Planning, 2009.
8. L. P. Kaelbling and T. Lozano-Perez, "Hierarchical task and motion planning in the now," in Proc. IEEE Int. Conf. Robotics and Automation, Workshop on Mobile Manipulation, 2010, pp. 1470-1477.
9. E. Plaku and G. D. Hager, "Sampling-based motion and symbolic action planning with geometric and differential constraints," in Proc. IEEE Int. Conf. Robotics and Automation, Anchorage, AK, 2010, pp. 5002-5008.
10. J. Wolfe, B. Marthi, and S. J. Russell, "Combined task and motion planning for mobile manipulation," in Proc. Int. Conf. Automated Planning and Scheduling, R. I. Brafman, H. Geffner, J. Hoffmann, and H. A. Kautz, Eds., Toronto, ON: AAAI, 2010, pp. 254-258.
11. L. E. Kavraki, "Mobile manipulation: Encoding motion planning options using task motion multigraphs," in Proc. IEEE Int. Conf. Robotics and Automation, 2011, pp. 5492-5498.
12. R.W. Brockett, "On the computer control ofmovement," in Proc. IEEE Int. Conf. Robotics and Automation, Apr. 1988, vol. 1, pp. 534-540.
13. V. Manikonda, P. S. Krishnaprasad, and J. Hendler, "A motion description language and a hybrid architecture for motion planning with nonholonomic robots," in Proc. IEEE Int. Conf. Robotics and Automation, May 1995, vol. 2, pp. 2021-2028.
14. M. Egerstedt, T. Murphey, and J. Ludwig, "Motion programs for puppet choreography and control," in Hybrid Systems: Computation and Control (LNCS 4416), A. Bemporad, A. Bicchi, and G. C. Buttazzo, Eds., Berlin: Springer-Verlag, 2007, pp. 190-202.
15. E. Frazzoli, M. A. Dahleh, and E. Feron, "Maneuver-based motion planning for nonlinear systems with symmetries," IEEE Trans. Robot., vol. 21, no. 6, pp. 1077-1091, 2005. (Pubitemid 43033746)
16. G. De Giacomo and M. Y. Vardi, "Automata-theoretic approach to planning for temporally extended goals," in Proc. European Conf. Planning (LNCS 1809), S. Biundo and M. Fox, Eds., Berlin: Springer-Verlag, 1999, pp. 226-238.
17. M. Antoniotti and B. Mishra, "Discrete event models+ temporal logic supervisory controller: Automatic synthesis of locomotion controllers," in Proc. IEEE Int. Conf. Robotics and Automation, 1995, vol. 2, pp. 1441-1446.
18. S. G. Loizou and K. J. Kyriakopoulos, "Automatic synthesis of multiagent motion tasks based on LTL specifications," in Proc. IEEE Conf. Decision and Control, 2004, vol. 1, pp. 153-158. (Pubitemid 40291324)
19. C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas, "Symbolic planning and control of robot motion: State of the art and grand challenges," IEEE Robot. Automat. Mag., vol. 14, no. 1, pp. 61-70, Mar. 2007. (Pubitemid 46566619)
20. D. C. Conner, H. Kress-Gazit, H. Choset, A. Rizzi, and G. J. Pappas, "Valet parking without a valet," in Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems, San Diego, CA, Oct. 2007, pp. 572-577.
21. H. Kress-Gazit, D. C. Conner, H. Choset, A. A. Rizzi, and G. J. Pappas, "Courteous cars: Decentralized multi-agent traffic coordination," Robot. Automat. Mag., vol. 15, no. 1, pp. 30-38, 2008.
22. M. Kloetzer and C. Belta, "A fully automated framework for control of linear systems from temporal logic specifications," IEEE Trans. Automat. Contr., vol. 53, no. 1, pp. 287-297, 2008.
23. S. Karaman and E. Frazzoli, "Complex mission optimization for multiple-UAVs using linear temporal logic," in Proc. American Control Conf., 2008, pp. 2003-2009.
24. S. Karaman and E. Frazzoli, "Sampling-based motion planning with deterministic l-calculus specifications," in Proc. IEEE Conf. Decision and Control, 2009, pp. 2222-2229.
25. G. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, "Temporal logic motion planning for dynamic robots," Automatica, vol. 45, no. 2, pp. 343-352, 2009.
26. T. Wongpiromsarn, U. Topcu, and R. M. Murray, "Receding horizon temporal logic planning for dynamical systems," in Proc. IEEE Conf. Decision and Control, 2009, pp. 5997-6004.
27. E. Plaku, L. E. Kavraki, and M. Y. Vardi, "Falsification of LTL safety properties in hybrid systems," in Proc. Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (LNCS 5505), Berlin: Springer-Verlag, 2009, pp. 368-382.
28. A. Bhatia, L. E. Kavraki, and M. Y. Vardi, "Sampling-based motion planning with temporal goals," in Proc. IEEE Int. Conf. Robotics and Automation, 2010, pp. 2689-2696.
29. A. Bhatia, L. E. Kavraki, and M. Y. Vardi, "Motion planning with hybrid dynamics and temporal goals," in Proc. IEEE Conf. Decision and Control, 2010, pp. 1108-1115.
30. M. Kloetzer and C. Belta, "Temporal logic planning and control of robotic swarms by hierarchical abstractions," IEEE Trans. Robot., vol. 23, no. 2, pp. 320-330, 2007. (Pubitemid 46621556)
31. M. Y. Vardi, "An automata-theoretic approach to linear temporal logic," in Proc. 8th Banff Higher Order Workshop Conf. Logics for Concurrency: Structure Versus Automata., New York: Springer-Verlag, 1996.
32. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge, MA: MIT Press, 2000.
33. A. Pnueli, "The temporal logic of programs," in Proc. SFCS'77. Washington, DC: IEEE Computer Society, 1977, pp. 46-57.
34. E. A. Emerson and E. M. Clarke, "Using branching time temporal logic to synthesize synchronization skeletons," Sci. Comput. Program., vol. 2, no. 3, pp. 241-266, 1982. (Pubitemid 14566074)
35. D. Kozen, "Results on the propositional l-calculus," Theor. Comput. Sci., vol. 27, pp. 333-354, 1983.
36. J. Davoren, V. Coulthard, N. Markey, and T. Moor, "Non-deterministic temporal logics for general flow systems," in Hybrid Systems: Computation and Control (LNCS 2993), R. Alur and G. J. Pappas, Eds., Berlin: Springer-Verlag, 2004, pp. 280-295.
37. J. M. Davoren and P. Tabuada, "On simulations and bisimulations of general flow systems," in Hybrid Systems: Computation and Control (LNCS 4416), A. Bemporad, A. Bicchi, and G. C. Buttazzo, Eds., Berlin: Springer-Verlag, 2007, pp. 529-542.
38. R. Alur and D. L. Dill, "A theory of timed automata," Theor. Comput. Sci., vol. 126, pp. 183-235, Apr. 1994.
39. R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid Systems (LNCS 736), R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds., Berlin: Springer, 1993, pp. 209-229.
40. G. Lafferriere, G. J. Pappas, and S. Sastry, "O-minimal hybrid systems," Math. Contr. Signals Syst., vol. 13, no. 1, pp. 1-21, 2000. (Pubitemid 30578622)
41. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984, July 2000.
42. P. Tabuada and G. J. Pappas, "Hybrid abstractions that preserve timed languages," in Hybrid Systems: Computation and Control (LNCS 2034), M. D. Benedetto and A. L. Sangiovanni-Vincentelli, Eds., Berlin: Springer-Verlag, 2001, pp. 501-514. (Pubitemid 33256440)
43. E. Haghverdi, P. Tabuada, and G. J. Pappas, "Bisimulation relations for dynamical and control systems," Electron. Notes Theor. Comput. Sci., vol. 69, pp. 120-136, 2002. Available: http://www.sciencedirect.com/science/ article/pii/S1571066104805620
44. E. Haghverdi, P. Tabuada, and G. J. Pappas, "Bisimulation relations for dynamical, control, and hybrid systems," Theor. Comput. Sci., vol. 342, no. 2-3, pp. 229-261, 2005. (Pubitemid 41203425)
45. C. Belta, V. Isler, and G. J. Pappas, "Discrete abstractions for robot motion planning and control in polygonal environments," IEEE Trans. Robot., vol. 21, no. 5, pp. 864-874, 2005. (Pubitemid 41489338)
46. P. Tabuada, "Approximate simulation relations and finite abstractions of quantized control systems," in Hybrid Systems: Computation and Control (LNCS 4416), A. Bemporad, A. Bicchi, and G. C. Buttazzo, Eds., Berlin: Springer, 2007, pp. 529-542.
47. A. Girard and G. J. Pappas, "Approximation metrics for discrete and continuous systems," IEEE Trans. Automat. Contr., vol. 52, no. 5, pp. 782-798, May 2007. (Pubitemid 46796065)
48. A. Girard, "Approximately bisimilar finite abstractions of stable linear systems," in Hybrid Systems: Computation and Control (LNCS 4416), A. Bemporad, A. Bicchi, and G. C. Buttazzo, Eds., Berlin: Springer-Verlag, 2007, pp. 231-244.
49. A. Girard, A. A. Julius, and G. J. Pappas, "Approximate simulation relations for hybrid systems," Discrete Event Dyn. Syst., vol. 18, no. 2, pp. 163-179, 2008. (Pubitemid 351642165)
50. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," Automatica, vol. 44, no. 10, pp. 2508-2516, 2008.
51. A. Girard, G. Pola, and P. Tabuada, "Approximately bisimilar symbolic models for incrementally stable switched systems," in Hybrid Systems: Computation and Control (LNCS 4981), M. Egerstedt and B. Mishra, Eds., Berlin: Springer-Verlag, 2008, pp. 201-214.
52. A. Bhatia and E. Frazzoli, "Incremental search methods for reachability analysis of continuous and hybrid systems," in Hybrid Systems: Computation and Control (LNCS 2993), R. Alur and G. J. Pappas, Eds., Berlin: Springer-Verlag, 2004, pp. 142-156.
53. J. Kim, J. M. Esposito, and V. Kumar, "An RRT-based algorithm for testing and validating multi-robot controllers," in Proc. RSS'05, 2005, pp. 249-256.
54. M. S. Branicky, M. M. Curtiss, J. Levine, and S. Morgan, "Samplingbased planning, control and verification of hybrid systems," in IEEE Proc. Control Theory Applicat., 2006, vol. 153, no. 5, pp. 575-590. (Pubitemid 44561814)
55. A. Bhatia and E. Frazzoli, "Sampling-based resolution-complete algorithms for safety falsification of linear systems," in Hybrid Systems: Computation and Control (LNCS 4981), M. Egerstedt and B. Mishra, Eds., Berlin: Springer-Verlag, 2008, pp. 606-609.
56. T. Dang, A. Donze, O. Maler, and N. Shalev, "Sensitive state-space exploration," in Proc. IEEE CDC'08, pp. 4049-4054, Dec. 2008.
57. T. Dang and T. Nahhal, "Coverage-guided test generation for continuous and hybrid systems," Formal Meth. Syst. Des., vol. 34, no. 2, pp. 183-213, 2009.
58. E. Plaku, L. E. Kavraki, and M. Y. Vardi, "Hybrid systems: from verification to falsification by combining motion planning and discrete search," Formal Meth. Syst. Des., vol. 34, no. 2, pp. 157-182, 2009.
59. E. Plaku, L. E. Kavraki, and M. Y. Vardi, "Motion planning with dynamics by a synergistic combination of layers of planning," IEEE Trans. Robot., vol. 26, no. 3, pp. 469-482, 2010.
60. P. Cheng and V. Kumar, "Sampling-based falsification and verification of controllers for continuous dynamic systems," Int. J. Robot. Res., vol. 27, no. 11-12, pp. 1232-1245, Nov./Dec. 2008.
61. R. Alami, J. P. Laumond, and T. Simeon, "Two manipulation planning algorithms," in Proc. Algorithmic Foundations of Robotics, 1995, pp. 109-125.
62. C. L. Nielsen and L. E. Kavraki, "A two level fuzzy PRM for manipulation planning," in Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems, 2000, vol. 3, pp. 1716-1721. (Pubitemid 32379961)
63. P. Tabuada and G. J. Pappas, "Linear time logic control of discretetime linear systems," IEEE Trans. Automat. Contr., vol. 51, no. 12, pp. 1862-1877, 2006. (Pubitemid 46002281)
64. O. Kupferman and M. Y. Vardi, "Model checking of safety properties," Formal Meth. Syst. Des., vol. 19, pp. 291-314, 2001. (Pubitemid 32902639)
65. E. Y. Chang, Z. Manna, and A. Pnueli, "Characterization of temporal property classes," in Proc. 19th Int. Colloquium Automata Languages and Programming (ICALP'92), W. Kuich, Ed., London, U.K. Berlin: Springer-Verlag, 1992, pp. 474-486.
66. R. Armoni, S. Egorov, R. Fraer, D. Korchemny, and M. Y. Vardi, "Efficient LTL compilation for SAT-based model checking," in Proc. IEEE/ACM Int. Conf. Computer-Aided Design. Washington, DC: IEEE Computer Society, 2005, pp. 877-884.
67. S. M. LaValle, M. S. Branicky, and S. R. Lindemann, "On the relationship between classical grid search and probabilistic roadmaps," Int. J. Robot. Res., vol. 23, no. 7-8, pp. 673-692, 2004.
68. J. Matousek, Geometric Discrepancy. Berlin: Springer-Verlag, 1999.
69. S. Tezuka, "Quasi-Monte Carlo: The discrepancy between theory and practice," in Monte Carlo and Quasi-Monte Carlo Methods 2000, K.-T. Fang, F. J. Hickernell, and H. Niederreiter, Eds., Berlin: Springer-Verlag, 2002, pp. 124-140.
70. S. R. Lindemann, A. Yershova, and S. M. LaValle, "Incremental grid sampling strategies in robotics," in Algorithmic Foundations of Robotics, VI, M. Erdmann, D. Hsu, M. Overmars, and A. F. van der Stappen, Eds., Berlin: Springer-Verlag, 2005, pp. 313-328.
71. J. Shewchuk, "Triangle: Engineering a 2D quality mesh generator and Delaunay triangulator," in Applied Computational Geometry Towards Geometric Engineering (LNCS 1148), M. Lin and D. Manocha, Eds., Berlin: Springer-Verlag, 1996, ch. 23, pp. 203-222. (Pubitemid 126140158)
72. R. Alur, T. A. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984, 2000.
73. T. Latvala, "Efficient model checking of safety properties," in Model Checking Software (LNCS 2648), T. Ball and S. K. Rajamani, Eds., Berlin: Springer-Verlag, 2003, pp. 74-88.
74. F. Copty, L. Fix, R. Fraer, E. Giunchiglia, G. Kamhi, A. Tacchella, and M. Y. Vardi, "Benefits of bounded model checking at an industrial setting," in Proc. 13th Int. Conf. Computer Aided Verification (CAV '01), G. Berry, H. Comon, and A. Finkel, Eds., London, U.K. Berlin: Springer-Verlag, 2001, pp. 436-453. (Pubitemid 33312941)
75. E. M. Clarke and H. Veith, "Counter examples revisited: Principles, algorithms, applications, in Verification: Theory and Practice (LNCS 2772), N. Dershowitz, Ed., Berlin: Springer-Verlag, 2003, pp. 208-224.