Pause
1 of 1
Submitted by Emmanuel Boidot on Fri, 12/28/2012 - 13:18

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL

Herencia-Zapana, H., R. J. Jobredeaux, S. Owre, P-L. Garoche, E. M. Feron, G. Perez, and P. Ascariz, "PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL", NASA Formal Methods, 2012.
PDF icon nfm2012.Zapana.Jobredeaux.Feron_.etal_.submitted.pdf
Submitted by Emmanuel Boidot on Fri, 12/28/2012 - 13:15

Sampling-based Algorithms for Optimal Path Planning Problems

Karaman, S. S., "Sampling-based Algorithms for Optimal Path Planning Problems", Department of Electrical Engineering and Computer Science, vol. Doctor of Philosophy: Massachusetts Institute of Technology, pp. 152, 2012.
Submitted by Emmanuel Boidot on Fri, 12/28/2012 - 10:25

Asymptotically-optimal Path Planning for Manipulation using Incremental Sampling-based Algorithms

Perez, G., S. S. Karaman, Walter, Shkolnik, E. Frazzoli, and Teller, "Asymptotically-optimal Path Planning for Manipulation using Incremental Sampling-based Algorithms", Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2011.
PDF icon iros2011.Perez_.Karaman.ea_.final_.pdf
Submitted by Emmanuel Boidot on Fri, 12/28/2012 - 10:17

Multi-scale LPA* with low worst-case complexity guarantees.

Lu, Y., X. Huo, O. Arslan, and P. Tsiotras, "Multi-scale LPA* with low worst-case complexity guarantees.", IROS: IEEE, 2011.
PDF icon iros2011.Lu_.Arslan.etal_.printed.pdf
Submitted by Emmanuel Boidot on Fri, 12/28/2012 - 10:10

Mobile robot vision navigation {&} localization using Gist and Saliency

Chang, C. K., C. C. Siagian, and L. Itti, "Mobile robot vision navigation {&} localization using Gist and Saliency", IROS, 2010.
PDF icon iros2011.Chang_.Siagian.Itti_.final_.pdf
Submitted by Emmanuel Boidot on Fri, 12/28/2012 - 06:58

Massively Parallelizing the RRT and the RRT*

Bialkowski, J., S. S. Karaman, and E. Frazzoli, "Massively Parallelizing the RRT and the RRT*", IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), 2011.
PDF icon iros2011.Bialkowski.Karaman.Frazzoli.final_.pdf

Pages

Subscribe to NAPCAR RSS
 

Dynamics and Control Systems Lab

at Georgia Institute of Technology

 

The Borg Lab

at Georgia Institute of Technology

 

Robotic Mobility Group

at Massachusetts Institute of Technology

 

Aerospace Robotics and Embedded Systems Laboratory

at Massachusetts Institute of Technology

Search form

About us

We are three research groups from Georgia Tech, the Massachusetts Institute of Technology, and the University of Southern California, collaborating to perform basic research on high-speed autonomous driving.  We are most interested in researching biologically-inspired methods in the realms of both perception and control.

Recent Publications

More...

Acknowledgment

This work was supported by the Army Research Office under MURI Award W911NF-11-1-0046.