Discrete abstractions for robot motion planning and control in polygonal environments

IEEE Transactions on Robotics

Volumn 21, Issue 5, 2005, Pages 864-874

  Belta, Calin ^a,b   Isler, Volkan ^c   Pappas, George J ^d  

^a Drexel University   (United States)

^b BOSTON UNIVERSITY   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Bisimulation; Control; Discrete abstraction; Hybrid system (HS); Motion planning; Triangulation

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; CONSTRAINT THEORY; FEEDBACK CONTROL; MOTION CONTROL; MOTION PLANNING;

BISIMULATION; DISCRETE ABSTRACTION; HYBRID SYSTEMS (HS);

ROBOTICS;

EID: 27144548494     PISSN: 15523098     EISSN: None     Source Type: Journal    
DOI: 10.1109/TRO.2005.851359     Document Type: Article

References (34)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Oliviero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoret. Comput. Sci., vol. 138, pp. 3-34, 1995.
2. R. Alur, T. Henzinger, G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 2, pp. 971-984, Jul. 2000.
3. A. Astolfi, "Discontinuous control of nonholonomic systems," IEEE Trans. Autom. Control, vol. 27, no. 1, pp. 37-45, Jan. 1996.
4. R. Bar-Yehuda and B. Chazelle, "Triangulating disjoint Jordan chains," Int. J. Computat. Geom. Appl., vol. 4, no. 4, pp. 475-481, 1994.
5. C. Belta and L. C. G. J. M. Habets, "Constructing decidable hybrid systems with velocity bounds," in Proc. 43rd IEEE Conf. Decision Control, Nassau, Bahamas, 2004.
6. R. Burridge, A. Rizzi, and D. Koditschek, "Sequential composition of dynamically dexterous robot behaviors," Int. J. Robot. Res., vol. 18, no. 6, pp. 534-555, Jun. 1999.
7. B. Chazelle, "Triangulating a simple polygon in linear time," Disc. Comput. Geom., vol. 6, pp. 485-524, 1991.
8. P. Cheng, Z. Shen, and S. M. LaValle, "RRT-based trajectory design for autonomous automobiles and spacecraft," Arch. Control Sci., vol. 11(XLVII), no. 3-4, pp. 167-194, 2001.
9. D. C. Conner, A. A. Rizzi, and H. Choset, "Composition of local potential functions for global robot control and navigation," in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst., vol. 3, Las Vegas, NV, 2003, pp. 3546-3551.
10. J. Desai, J. P. Ostrowski, and V. Kumar, "Controlling formations of multiple mobile robots," in Proc. IEEE Int. Conf. Robot. Autom., vol. 4, Leuven, Belgium, 1998, pp. 2864-2869.
11. J. A. Fernandez and J. Gonzalez, "Multihierarchical graph search," IEEE Trans. Pattern Anal. Mach. Intell., vol. 24, no. 1, pp. 103-113, Jan. 2002.
12. C. Galindo, J. A. Fernandez, and J. Gonzalez, "Hierarchical task planning through world abstractions," IEEE Trans. Robot., vol. 20, no. 4, pp. 667-690, Aug. 2004.
13. L. C. G. J. M. Habets and J. H. van Schuppen, "A control problem for affine dynamical systems on a full-dimensional polytope," Automatica, vol. 40, pp. 21-35, 2004.
14. E. Haghverdi, P. Tabuada, and G. Pappas, "Bisimulation relations for dynamical and control systems," in Electronic Notes in Theoretical Computer Science. New York: Elsevier, 2003, vol. 69.
15. V. Isler, C. Belta, K. Daniilidis, and G. J. Pappas, "Stochastic hybrid control for visibility-based pursuit-evasion games," in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst., vol. 2, Sendai, Japan, 2004, pp. 1432-1437.
16. V. Isler, S. Kannan, and S. Khanna, "Locating and capturing an evader in a polygonal environment," in Proc. Workshop Algorithmic Found. Robot., 2004, pp. 351-367.
17. V. Isler, S. Kannan, and S. Khanna, "Randomized pursuit-evasion with limited visibility," in Proc. ACM-SIAM Symp. Discrete Algorithms, 2004, pp. 1053-1063.
18. B. Jeannet, "Convex Polyhedra Library," Verimag, Grenoble, France, Tech. Rep., 1999.
19. O. Khatib, "Real-time obstacle avoidance for manipulators and mobile robots," Int. J. Robot. Res., vol. 5, pp. 90-98, 1986.
20. D. E. Koditschek, "The control of natural motion in mechanical systems," ASME J. Dyn. Syst., Meas., Control, vol. 113, no. 4, pp. 548-551, 1991.
21. G. A. Lafferriere and H. Sussmann, "A differential geometric approach to motion planning," in Nonholonomic Motion Planning, Z. Li and J. F. Canny, Eds. Norwell, MA: Kluwer, 1993, pp. 235-270.
22. F. Lamiraux and J. P. Laumond, "Smooth motion planning for car-like vehicles," IEEE Trans. Robot. Autom., vol. 17, no. 4, pp. 498-502, Aug. 2001.
23. J. C. Latombe, Robot Motion Planning. Norwell, MA: Kluwer, 1991.
24. S. M. LaValle and M. S. Branicky, "On the relationship between classical grid search and probabilistic roadmaps," Int. J. Robot. Res., vol. 23, no. 78, pp. 673-692, 2004.
25. M. Overmars, M. de Berg, M. van Kreveld, and O. Schwarzkopf, Computational Geometry, Algorithms and Applications. New York: Springer-Verlag, 1997.
26. R. M. Murray and S. S. Sastry, "Nonholonomic motion planning: Steering using sinusoids," IEEE Trans. Autom. Control, vol. 38, no. 5, pp. 700-716, May 1993.
27. A. Narkhede and D. Manocha. Fast polygon triangulation based on Seidel's algorithm. [Online]. Available: ftp://ftp.cs.unc.edu/pub/users/manocha/ CODE/Triangulation/
28. J. O'Rourke, Computational Geometry in C. Cambridge, U.K.: Cambridge Univ. Press, 1998.
29. G. J. Pappas, "Bisimilar linear systems," Automatica, vol. 39, no. 12, pp. 2035-2047, 2003.
30. P. Rouchon, M. Fliess, J. Levine, and P. Martin, "Flatness, motion planning and trailer systems," in Proc. 32nd IEEE Conf. Decision Control, Austin, TX, Dec. 1993, pp. 2700-2705.
31. L. D. Seneviratne, W.-S. Ko, and S. W. Earles, "Triangulation-based path planning for a mobile robot," J. Mech. Eng. Sci., pt. C, vol. 211, no. 5, pp. 365-371, 1997.
32. P. Tabuada and G. Pappas, "Model checking LTL over controllable linear systems is decidable," in Lecture Notes in Computer Science. New York: Springer-Verlag, 2003, vol. 2623.
33. J. Thomas, A. Blair, and N. Barnes, "Toward an efficient optimal trajectory planner for multiple mobile robots," in Proc. IEEE/RSJ Int. Conf. Intell. Robots Syst., vol. 3, 2003, pp. 2291-2296.
34. D. Tilbury and A. Chelouah, "Steering a three input nonholonomic system using multirate controls," in Proc. Eur. Control Conf., Groningen, The Netherlands, 1992, pp. 1993-1998.