-
1
-
-
8744255103
-
Computational techniques for the verification and control of hybrid systems
-
C. J. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, "Computational techniques for the verification and control of hybrid systems," Proceedings of the IEEE, vol. 91, no. 7, pp. 986-1001, 2003.
-
(2003)
Proceedings of the IEEE
, vol.91
, Issue.7
, pp. 986-1001
-
-
Tomlin, C.J.1
Mitchell, I.2
Bayen, A.3
Oishi, M.4
-
2
-
-
0037250532
-
Computational, techniques for hybrid system verification
-
C. Chutinan and B. H. Krogh, "Computational, techniques for hybrid system verification," IEEE Transactions on Automatic Control, vol. 48, no. 1, pp. 64-75, 2003.
-
(2003)
IEEE Transactions on Automatic Control
, vol.48
, Issue.1
, pp. 64-75
-
-
Chutinan, C.1
Krogh, B.H.2
-
3
-
-
35248899265
-
Verification of hybrid systems based on counterexample-guided abstraction refinement
-
H. Garavel and J. Hatcliff, Eds
-
E. Clarke, A. Fehnker, Z. Han, B. Krogh, O. Stursberg, and M. Theobald, "Verification of hybrid systems based on counterexample-guided abstraction refinement," in Inter. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, H. Garavel and J. Hatcliff, Eds., 2003, vol. 2619, pp. 192-207.
-
(2003)
Inter. Conf. on Tools and Algorithms for the Construction and Analysis of Systems
, vol.2619
, pp. 192-207
-
-
Clarke, E.1
Fehnker, A.2
Han, Z.3
Krogh, B.4
Stursberg, O.5
Theobald, M.6
-
4
-
-
33644893440
-
-
Cambridge, MA: MIT Press
-
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.
-
(2005)
Principles of Robot Motion: Theory, Algorithms, and Implementations
-
-
Choset, H.1
Lynch, K.M.2
Hutchinson, S.3
Kantor, G.4
Burgard, W.5
Kavraki, L.E.6
Thrun, S.7
-
5
-
-
77952010176
-
-
Cambridge, MA: Cambridge University Press
-
S. M. LaValle, Planning Algorithms. Cambridge, MA: Cambridge University Press, 2006.
-
(2006)
Planning Algorithms
-
-
LaValle, S.M.1
-
6
-
-
24144502415
-
Sampling-based roadmap of trees for parallel motion planning
-
E. Plaku, K. E. Bekris, B. Y. Chen, A. M. Ladd, and L. E. Kavraki, "Sampling-based roadmap of trees for parallel motion planning," IEEE Transactions on Robotics, vol. 21, no. 4, pp. 597-608, 2005.
-
(2005)
IEEE Transactions on Robotics
, vol.21
, Issue.4
, pp. 597-608
-
-
Plaku, E.1
Bekris, K.E.2
Chen, B.Y.3
Ladd, A.M.4
Kavraki, L.E.5
-
7
-
-
33846167411
-
Distributed sampling-based roadmap of trees for large-scale motion planning
-
Barcelona, Spain
-
E. Plaku and L. E. Kavraki, "Distributed sampling-based roadmap of trees for large-scale motion planning," in IEEE Inter. Conf. on Robotics and Automation, Barcelona, Spain, 2005, pp. 3879-3884.
-
(2005)
IEEE Inter. Conf. on Robotics and Automation
, pp. 3879-3884
-
-
Plaku, E.1
Kavraki, L.E.2
-
8
-
-
84880150050
-
Fast tree-based exploration of state space for robots with dynamics
-
A. M. Ladd and L. E. Kavraki, "Fast tree-based exploration of state space for robots with dynamics," in Workshop on Algo. Found, of Robot., 2005, pp. 297-312.
-
(2005)
Workshop on Algo. Found, of Robot
, pp. 297-312
-
-
Ladd, A.M.1
Kavraki, L.E.2
-
9
-
-
0036458038
-
On delaying collision checking in PRM planning: Application to multi-robot coordination
-
G. Sánchez and J.-C. Latombe, "On delaying collision checking in PRM planning: Application to multi-robot coordination," International Journal of Robotics Research, vol. 21, no. 1, pp. 5-26, 2002.
-
(2002)
International Journal of Robotics Research
, vol.21
, Issue.1
, pp. 5-26
-
-
Sánchez, G.1
Latombe, J.-C.2
-
10
-
-
0000606666
-
Rapidly-exploring random trees: Progress and prospects
-
B. R. Donald, K. Lynch, and D. Rus, Eds
-
S. M. LaValle and J. J. Kuffner, "Rapidly-exploring random trees: Progress and prospects," in New Directions in Algorithmic and Computational Robotics, B. R. Donald, K. Lynch, and D. Rus, Eds., 2001, pp. 293-308.
-
(2001)
New Directions in Algorithmic and Computational Robotics
, pp. 293-308
-
-
LaValle, S.M.1
Kuffner, J.J.2
-
11
-
-
33845658697
-
An RRT-based algorithm for testing and validating multi-robot controllers
-
Boston, MA
-
J. Kim, J. M. Esposito, and V. Kumar, "An RRT-based algorithm for testing and validating multi-robot controllers," in Robotics: Science and Systems, Boston, MA, 2005, pp. 249-256.
-
(2005)
Robotics: Science and Systems
, pp. 249-256
-
-
Kim, J.1
Esposito, J.M.2
Kumar, V.3
-
12
-
-
33645422265
-
Adaptive RRTs for validating hybrid robotic control systems
-
Zeist, Netherlands
-
J. M. Esposito, J. Kim, and V. Kumar, "Adaptive RRTs for validating hybrid robotic control systems," in Workshop on Algo. Found, of Robot., Zeist, Netherlands, 2004, pp. 107-132.
-
(2004)
Workshop on Algo. Found, of Robot
, pp. 107-132
-
-
Esposito, J.M.1
Kim, J.2
Kumar, V.3
-
13
-
-
0031636816
-
Choosing good distance metrics and local planners for probabilistic roadmap methods
-
N. M. Amato, O. B. Bayazit, L. K. Dale, C. Jones, and D. Vallejo, "Choosing good distance metrics and local planners for probabilistic roadmap methods," in IEEE Inter. Conf. on Robotics and Automation, 1998, pp. 630-637.
-
(1998)
IEEE Inter. Conf. on Robotics and Automation
, pp. 630-637
-
-
Amato, N.M.1
Bayazit, O.B.2
Dale, L.K.3
Jones, C.4
Vallejo, D.5
-
14
-
-
0036523380
-
Randomized kinodynamic motion planning with moving obstacles
-
D. Hsu, R. Kindel, J.-C. Latombe, and S. Rock, "Randomized kinodynamic motion planning with moving obstacles," International Journal of Robotics Research, vol. 21, no. 3, pp. 233-255, 2002.
-
(2002)
International Journal of Robotics Research
, vol.21
, Issue.3
, pp. 233-255
-
-
Hsu, D.1
Kindel, R.2
Latombe, J.-C.3
Rock, S.4
-
15
-
-
0030212126
-
Probabilistic roadmaps for path planning in high-dimensional configuration spaces
-
L. E. Kavraki, P. Švestka, J.-C. Latombe, and M. H. Overmars, "Probabilistic roadmaps for path planning in high-dimensional configuration spaces," IEEE Transactions on Robotics and Automation, vol. 12, no. 4, pp. 566-580, 1996.
-
(1996)
IEEE Transactions on Robotics and Automation
, vol.12
, Issue.4
, pp. 566-580
-
-
Kavraki, L.E.1
Švestka, P.2
Latombe, J.-C.3
Overmars, M.H.4
-
16
-
-
84880152114
-
A machine learning approach for feature-sensitive motion planning
-
Zeist, Netherlands, pp
-
M. Morales, L. Tapia, R. Pearce, S. Rodriguez, and N. M. Amato, "A machine learning approach for feature-sensitive motion planning," in Workshop on Algo. Found, of Robot., Zeist, Netherlands, pp. 361-376.
-
Workshop on Algo. Found, of Robot
, pp. 361-376
-
-
Morales, M.1
Tapia, L.2
Pearce, R.3
Rodriguez, S.4
Amato, N.M.5
-
17
-
-
3042632353
-
Improving the performance of sampling-based planners by using a symmetry-exploiting gap reduction algorithm
-
P. Cheng, E. Frazzoli, and S. M. La Valle, "Improving the performance of sampling-based planners by using a symmetry-exploiting gap reduction algorithm," in IEEE Inter. Conf. on Robotics and Automation, 2004, pp. 4362-4368.
-
(2004)
IEEE Inter. Conf. on Robotics and Automation
, pp. 4362-4368
-
-
Cheng, P.1
Frazzoli, E.2
La Valle, S.M.3
-
18
-
-
0002162263
-
Near neighbor search in large metric spaces
-
S. Brin, "Near neighbor search in large metric spaces," in Inter. Conf. Very Large Data Bases, 1995, pp. 574-584.
-
(1995)
Inter. Conf. Very Large Data Bases
, pp. 574-584
-
-
Brin, S.1
-
19
-
-
36348979047
-
Quantitative analysis of nearest-neighbors search in high-dimensional sampling-based motion planning
-
New York, NY
-
E. Plaku and L. E. Kavraki, "Quantitative analysis of nearest-neighbors search in high-dimensional sampling-based motion planning," in Work-shop on Algo. Found, of Robot., New York, NY, 2006.
-
(2006)
Work-shop on Algo. Found, of Robot
-
-
Plaku, E.1
Kavraki, L.E.2
|