Sampling-based planning, control and verification of hybrid systems

IEE Proceedings: Control Theory and Applications

Volumn 153, Issue 5, 2006, Pages 575-590

  Branicky, M S ^a   Curtiss, M M ^a,b   Levine, J ^a,c   Morgan, S ^a,d  

^a Case Western Reserve University   (United States)

^b GOOGLE INC   (United States)

^c OHIO STATE UNIVERSITY   (United States)

^d APPLE INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE SPACES; HYBRID SYSTEMS; PROBABILISTIC ROADMAP (PRM); STRAIGHT-LINE CONNECTIVITY;

COMPUTATIONAL METHODS; MOTION PLANNING; PROBABILISTIC LOGICS; PROBLEM SOLVING; ROBOTICS; SAMPLING;

ADAPTIVE CONTROL SYSTEMS;

EID: 33749855544     PISSN: 13502379     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cta:20050152     Document Type: Article

References (33)

1. LaValle, S.M.: ' Rapidly-exploring random trees: a new tool for path planning ', (, Computer Science Department, Iowa, USA, 1998), TR 98-11
2. LaValle, S.M., and Kuffner, J.J.: ' Randomized kinodynamic planning ', Proc. IEEE Int. Conf. on Robotics and Automation, 1999, p. 473-479
3. LaValle, S.M., and Kuffner, J.J.: ' Rapidly-exploring random trees: progress and prospects ', Proc. Workshop Algorithmic Foundations of Robotics, 2000
4. Kuffner, J.J., and LaValle, S.M.: ' RRT-connect: an efficient approach to single-query path planning ', Proc. IEEE Int. Conf. on Robotics and Automation, San Francisco, CA, 2000, p. 995-1001
5. LaValle, S.M., and Kuffner, J.J.: ' Rapidly-exploring random trees: progress and prospects ', Donald, B.R., Lynch, K.M., Rus, D., Algorithmic and computational robotics: new directions, (A.K. Peters, Wellesley, Massachusetts, 2001), p. 293-308
6. Kavraki, L.E., Svestka, P., Latombe, J.-C., and Overmars, M.H.: ' Probabilistic roadmaps for path planning in high-dimensional configuration spaces ', IEEE Trans. Robot. Autom., 1996, 12, (4), p. 566-580 10.1109/70.508439 1042-296X
7. Bekris, K.E., Chen, B.Y., Ladd, A.M., Plaku, E., and Kavraki, L.E.: ' Multiple query probabilistic roadmap planning using single query planning primitives ', Proc. IEEE/RSJ Intl. Conf. on Intelligent Robots and Systems, Las Vegas, NV, 2003, p. 656-661
8. LaValle, S.M., and Branicky, M.S.: ' On the relationship between classical grid search and probabilistic roadmaps ', Proc. Workshop Algorithmic Foundations of Robotics, December, 2002
9. LaValle, S.M., Branicky, M.S., and Lindeman, S.R.: ' On the relationship between classical grid search and probabilistic roadmaps ', Int. J. Robot. Res., 2004, 23, (7-8), p. 673-692 10.1177/0278364904045481 0278-3649
10. Branicky, M.S., and Curtiss, M.M.: ' Nonlinear and hybrid control via RRTs ', Proc. Int. Symp. Mathematical Theory of Networks and Systems, South Bend, IN, August, 12-16, 2002
11. Curtiss, M.M.: ' Motion planning and control using RRTs ', M.S. Project report, (Case Western Reserve University, Department of Electrical Engineering and Computer Science, Cleveland, OH, 2002, May), http://dora.cwru.edu/msb/pubs/ mmcMS.pdf
12. Morgan, S.B., and Branicky, M.S.: ' Sampling-based planning for discrete spaces ', Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems, Sendai, Japan, 28 September-4 October, 2004
13. Morgan, S.B.: ' Sampling-based planning for discrete spaces ', April, 2004, M.S., Case Western Reserve University, Department of Electrical Engineering and Computer Science, Cleveland, OH, http://dora.cwru.edu/msb/pubs/ sbmMS.pdf
14. Branicky, M.S., Curtiss, M.M., Levine, J., and Morgan, S.: ' Sampling-based planning and control ', Proc. Twelfth Yale Workshop on Adaptive and Learning Systems, New Haven, CT, May, 28-30, 2003
15. Levine, J.A.: ' Sampling-based planning for hybrid systems ', Sept., 2003, M.S., Case Western Reserve University, Department of Electrical Engineering and Computer Science, Cleveland, OH, http://dora.cwru.edu/msb/pubs/ jalMS.pdf
16. Branicky, M.S., Curtiss, M.M., Levine, J., and Morgan, S.: ' RRTs for nonlinear, discrete, and hybrid planning and control ', Proc. IEEE Conf. on Decision and Control, Lahaina, HI, Dec., 9-12, 2003
17. Branicky, M.S., LaValle, S.M., Olson, K., and Yang, L.: ' Quasi-randomized path planning ', Proc. IEEE Int. Conf. Robotics and Automation, Seoul, Korea, 2001, p. 1481-1487
18. Reif, J.H.: ' Complexity of the mover's problem and generalizations ', Proc. IEEE Symp. on Foundation of Computer Science, 1979, p. 421-427
19. Branicky, M.S., Frazzoli, E., and LaValle, S.M.: ' Geometric and algorithmic techiques for design and verification of hybrid control systems ', NSF Proposal 0208891, December, 5, 2001
20. Bhatia, A., and Frazzoli, E.: ' Incremental search methods for reachability analysis of continuous and hybrid systems ', Alur, R., Pappas, G.J., Hybrid systems: computation and control, Lecture Notes in Computer Science (Springer-Verlag, Philadelphia, PA, 2004), 2993, p. 142-156
21. Branicky, M.S., Curtiss, M.M., Levine, J., and Morgan, S.: ' Sampling-based planning, control, and verification of hybrid systems ', Proc. IFAC World Congress, Prague, 2005
22. Kim, J., and Esposito, J.M.: ' Adaptive sample bias for rapidly-exploring random trees with applications to test generation ', Proc. American Control Conference, Portland, OR, 2005
23. Lindemann, S.R., and LaValle, S.M.: ' Incrementally reducing dispersion by increasing Voronoi bias in RRTs ', Proc. IEEE Int. Conf. on Robotics and Automation, New Orleans, 2004, p. 3251-3257
24. Spong, M.W.: ' Swing up control of the acrobot ', Proc. IEEE Intl. Conf. Robotics and Automation, San Diego, CA, 1984, p. 2356-2361
25. Sutton, R.S., and Barto, A.G.: ' Reinforcement learning ', (MIT Press, Cambridge, MA, 1998)
26. Latombe, J.-C.: ' Robot motion planning ', (Kluwer Academic Publishers, Norwell, MA, 1991)
27. Russell, S.P., and Norvig, P.: ' Artificial intelligence: a modern approach ', (Prentice-Hall, Upper Saddle River, NJ, 2003)
28. Branicky, M.S.: ' Studies in hybrid systems: modeling, analysis, and control ', June, 1995, Sc.D., M.I.T., Cambridge, MA
29. Branicky, M.S., Borkar, V.S., and Mitter, S.K.: ' A unified framework for hybrid control: model and optimal control theory ', IEEE Trans. Autom. Control, 1998, 43, (1), p. 31-45 10.1109/9.654885 0018-9286
30. Frazzoli, E., Dahleh, M.A., and Feron, E.: ' A hybrid control architecture for aggressive maneuvering of autonomous helicopters ', Proc. IEEE Conf. Decision and Control, Phoenix, December, 1999, p. 2471-2476
31. LaValle, S.M.: ' Motion strategy library ', et al., 2003), http://msl.cs.uiuc.edu/msl/
32. Alur, R., Henzinger, T.A., and Ho, P.-H.: ' Automatic symbolic verification of embedded systems ', Proc. 14th Annual Real-time Systems Symp., 1993, p. 2-11
33. Henzinger, T.A., Kopke, P.W., Puri, A.P., and Varaiya, P.: ' What's decidable about hybrid automata? ', Proc. 27th ACM Symp. on Theory of Computing, 1995, p. 373-383