Carnegie Mellon University
Advanced Search   
  Look in
       Title     Description
       Inactive Projects
Current Projects, Grouped by Subject
Space Robotics
Formal Verification of Autonomous Systems
We are developing tools and techniques to support formal verification of autonomous systems.
Google Lunar X Prize
We are part of a $30 million international competition to safely land a robot on the surface of the Moon, travel 500 meters over the lunar surface, and send images and data back to the Earth.
Inter-Process Communication Package (IPC)
We are developing a high-level support package for connecting and sending data among processes using TCP / IP sockets.
Life in the Atacama
Robotic field investigation will bring new scientific understanding of the Atacama as a habitat for life with distinct analogies to Mars.
Lunar Ice Discovery Initiative (Icebreaker)
Icebreaker is a proposed mission to explore the south pole of the Moon.
Very Rough Terrain Nonholonomic Trajectory Generation and Motion Planning for Rovers
We are developing rough terrain trajectory generation algorithms for local path planning and optimal regional motion planning methods using a constrained search space.