Sampling-based algorithm for testing and validating robot controllers

International Journal of Robotics Research

Volumn 25, Issue 12, 2006, Pages 1257-1272

  Kim, Jongwoo ^a   Esposito, Joel M ^b   Kumar, Vijay ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNITED STATES NAVAL ACADEMY   (United States)

Author keywords

Motion planning; Sampling based algorithm; Testing; Validation

Indexed keywords

RAPIDLY-EXPLORING RANDOM TREES (RRT); SAMPLING-BASED ALGORITHM; VALIDATION;

ALGORITHMS; CONTROL SYSTEM ANALYSIS; MOTION PLANNING; MULTI AGENT SYSTEMS;

ROBOTICS;

EID: 33750978698     PISSN: 02783649     EISSN: 17413176     Source Type: Journal    
DOI: 10.1177/0278364906072513     Document Type: Conference Paper

References (53)

1. Alur, R., Henzinger, T. A. and Ho, P.-H. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering 22 (3). 181-201.
2. Amato, N. and Wu, Y. 1996. A randomized roadmap method for path and manipulation planning. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 113-120.
3. Asarin, E., Dang, T., and Maler, O. 2001. d/dt: A tool for reachability analysis of continuous and hybrid systems. 5th IFAC Symposium on Nonlinear Control Systems, St. Petersburg, Russia.
4. Belta, C., Esposito, J. M., Kim, J., and Kumar, V. 2005. Computational techniques for analysis of genetic network dynamics. International Journal of Robotics Research 24 (2-3). 219-235.
5. Bhatia, A. and Frazzoli, E. (Eds). 2004. Incremental search methods for reachability analysis of continuous and hybrid systems. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 2993, Springer, pp. 142-156.
6. Bohlin, R. and Kavraki, L. E. 2000. Path planning using lazy PRM. Proceedings of the International Conference on Robotics and Automation, Vol. 1, pp. 521-528.
7. Boor, V., Overmars, M. H., and van der Stappen, A. F. 1999. The Gaussian sampling strategy for probabilistic roadmap planners. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 1018-1023.
8. Botchkarev, O. and Tripakis, S. 2000. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1790, pp. 73-88.
9. Branicky, M. S., Curtiss, M. M., Levine, J. A., and Morgan, S. B. 2003. RRTs for nonlinear, discrete, and hybrid planning and control. IEEE Conference on Decision and Control.
10. Burns, B. and Brock, O. 2005. Toward optimal configuration space sampling. Proceedings of Robotics: Science and Systems, June, Cambridge, MA.
11. Chaimowicz, L., Michael, N., and Kumar, V. 2005. Controlling swarms of robots using interpolated implicit functions. IEEE International Conference on Robotics and Automation.
12. Cheng, P., Shen, Z., and LaValle, S. M. 2000. Using randomization to find and optimize feasible trajectories for nonlinear systems. Proceedings of 38th Annual Allerton Conference on Communication, Control, and Computing.
13. Cheng, P. and LaValle, S. M. 2001. Reducing metric sensitivity in randomized trajectory design. Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 43-48.
14. Cheng, P., Shen, Z. and LaValle, S. M. 2001. RRT-based trajectory design for autonomous vehicles and spacecraft. Archives of Control Sciences 11 (3-4). 167-194.
15. Cheng, P. 2005. Sampling-based Motion Planning with Differential Constraints. PhD thesis, University of Illinois, Urbana, IL.
16. Chutinan, A. and Krogh, B. H. 1999. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1569, pp. 76-90.
17. Chutinan, A. and Krogh, B. 1998. Computing polyhedral approximations to flow pipes for dynamic systems. Proceedings of the 37th International Conference on Decision and Control.
18. Chutinan, A. and Krogh, B. H. 2003. Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control 48 (1). 64-75.
19. Dang, T. and Maler, O. 1998. Reachability analysis via face lifting. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1386, pp. 96-109.
20. Donald, B. R., Xavier, P. G., Canny, J. and Reif, J. 1993. Kinodynamic motion planning. Journal of the ACM 40 (5). 1046-1066.
21. Esposito, J. M., Kim, J., and Kumar, V. 2004. Adaptive RRTs for validating hybrid robotic control systems. International Workshop on the Algorithmic Foundations of Robotics, Zeist, Netherlands.
22. Frazzoli, E., Dahleh, M. A., and Feron, E. 2000. Real-timemotion planning for agile autonomous vehicles. AIAA Conference on Guidance, Navigation and Control, August, Denver, CO.
23. Henzinger, T. A., Ho, P.-H., and Wong-Toi, H. 1995. Algorith-mic analysis of nonlinear hybrid systems. Proceedings of the 7th International Conference on Computer Aided Verification, Liege, Belgium (Ed. P. Wolper). Springer Verlag, Vol. 939, pp. 225-238.
24. Henzinger, T. A., Ho, P.-H., and Wong-Toi, H. 1997. HYTECH: a model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1 (1-2). 110-122.
25. Holleman, C. and Kavraki, L. E. 2000. A framework for using the workspace medial axis in PRM planners. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 1408-1413.
26. Hsu, D., Kindel, R., Latombe, J.-C., and Rock, S. 2002. Randomized kinodynamic motion planning with moving obstacles. International Journal of Robotics Research 21 (3). 233-255.
27. Hsu, D., Jiang, T., Reif, J., and Sun, Z. 2003. The bridge test for sampling narrow passages with probabilistic roadmap planners. Proceedings of the IEEE International Conference on Robotics and Automation.
28. Hsu, D., Latombe, J.-C., and Kurniawati, H. 2005. On the probabilistic foundations of probabilistic roadmap planning. Proceedings of the International Symposium on Robotics Research.
29. Kavraki, L. E. and Latombe, J.-C. 1994. Randomized preprocessing of configuration space for fast path planning. Proceedings of the IEEE International Conference on Robotics and Automation, pp. 2138-2145.
30. Kavraki, L. E. 1995. Random Networks in Configuration Space for Fast Path Planning. PhD thesus, Stanford University.
31. Kavraki, L. E., Latombe, J.-C., Motwani, R., and Raghavan, P. 1995. Randomized query processing in robot path planning. Proceedings of the 27th Annual ACM Symposium on Theory of Computing (STOC), Las Vegas, NV, pp. 353-362.
32. Kavraki, L. E., Svestka, P., Latombe, J.-C., and Overmar, M. H. 1996. Probabilistic roadmaps for path planning in high-dimensional configuration spaces. International Transactions on Robotics and Automation 12 (4). 566-580.
33. Kim, J. and Ostrowski, J. P. 2003. Motion planning of aerial robot using rapidly-exploring random trees with dynamic constraints. IEEE International Conference on Robotics and Automation, Taipei, Taiwan.
34. Kim, J., Keller, J., and Kumar, V. 2003. Design and verification of controllers for airships. IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, NV.
35. Kurzhanski, A. B. and Varaiya, P. 2000. Ellipsoidal techniques for reachability analysis. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1790, pp. 202-214.
36. Ladd, A. M. and Kavraki, L. E. 2004. Fast tree-based exploration of state space for robots with dynamics. International Workshop on the Algorithmic Foundations of Robotics, Zeist, Netherlands.
37. Ladd, A. M. and Kavraki, L. E. 2005. Motion planning in the presence of drift, underactuation and discrete system changes. Proceedings of Robotics: Science and Systems, June, Cambridge, MA.
38. Lafferriere, G., Pappas, G. J., and Yovine, S. 2001. Symbolic reachability computation for families of linear vector fields. Journal of Symbolic Computation 32: 231-253
39. LaValle, S. M., and Kuffner, J. J. 2001a. Randomized kino-dynamic planning. International Journal of Robotics Research 20 (5). 378-400.
40. LaValle, S. M. and Kuffner, J. J. 2001b. Rapidly-exploring random trees: progress and prospects. In Algorithmic and Computational Robotics: New Directions (Eds B. R. Donald, K. Lynch and D. Rus). pp. 293-308, A.K. Peters, Wellesley, MA.
41. LaValle, S. M. and Branicky, M. S. 2002. On the relationship between classical grid search and probabilistic roadmaps. Proceedings of the Workshop on the Algorithmic Foundations of Robotics.
42. Levine, J. A. 2003. Sampling-based Planning for Hybrid Systems. Master's thesis, Case Western Reserve University, September.
43. Lindermann, S. R. and LaValle, S. M. 2004. Incrementally reducing dispersion by increasingVoronoi bias in RRTs. Proceedings of the IEEE International Conference on Robotics and Automation.
44. Mitchell, I. and Tomlin, C. 2000. Level set methods for computation in hybrid systems. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1790, (Eds B. Krogh and N. Lynch). Springer Verlag, pp. 310-323.
45. Mitchell, I. 2002. Application of Level Set Methods to Control and Reachability Problems in Continuous and Hybrid Systems. PhD thesis. Stanford University.
46. Prajna, S. and Jadbabaie, A. 2004. Safety verification of hybrid systems using barrier certificates. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 2993, pp. 477-492.
47. Reif, J. H. 1979. Complexity of the mover's problem and generalizations. 20th IEEE Symposium on Foundation of Computer Science, pp. 421-427.
48. Sastry, S. 1999. Nonlinear Systems: Analysis, Stability, and Control. Springer-Verlag.
49. Simeon, T., Laumond, J.-P., and Nissoux, C. 1999. Visibility-based probabilistic roadmaps for motion planning. Proceedings of the IEEE International Conference on Intelligent Robotics and Systems.
50. Tomlin, C., Mitchell, I., Bayen, A., and Oishi, M. 2003. Computational techniques for the verification and control of hybrid systems. Proceedings of IEEE 91 (7). 986-1001.
51. Urmson, C. and Simmons, R. 2003. Approaches for heuristically biasing RRT growth. IEEE/RSJ IROS 2003, October.
52. Yang, Y. and Brock, O. 2004. Adapting the sampling distribution in PRM planners based on an approximated medial axis. Proceedings of the IEEE International Conference on Robotics and Automation.
53. Yershova, A., Jaillet, L., Simeon, T., and LaValle, S. M. 2005. Dynamic-domain RRTs: efficient exploration by controlling the sampling domain. Proceedings of the IEEE International Conference on Robotics and Automation.