← Back to NASA Technology Projects

Integrated Task and Motion Planning with Verification via Formal Methods

Completed TRL 3 (started at 2, targeting 3)

Description

This proposal lays out a research plan to "lift" current state-of-the-art results combining discrete and continuous layers of planning in motion planning to the more difficult and more useful problem of task and motion planning. The impact of such research is quite broad, and the current advances in AI and motion planning have made research in this area a hot topic in the robotics community. The uniqueness of this plan lies largely in the proposal to develop tools for verification and falsification in parallel with the tools for task and motion planning. It is expected that doing so will lead to more practical tools for our current robot systems. The significance for NASA is quite broad. Generally, NASA wants to use robots for remote exploration and for collaboration with astronauts. NASA wants robots to perform tasks that are too dangerous (searching for damage on the exterior of the ISS), too remote (exploring Mars), or too difficult (moving heavy objects on the moon) for a human. By increasing the level of autonomy in robots and by ensuring that they function safely and correctly, the depth and extent of missions can be increased.

Benefits

The significance for NASA is quite broad. Generally, NASA wants to use robots for remote exploration and for collaboration with astronauts. NASA wants robots to perform tasks that are too dangerous (searching for damage on the exterior of the ISS), too remote (exploring Mars), or too difficult (moving heavy objects on the moon) for a human. By increasing the level of autonomy in robots and by ensuring that they function safely and correctly, the depth and extent of missions can be increased.

Details

Technology areaAutonomous Systems > Reasoning and Acting Technologies > Path Planning
ProgramSpace Technology Research Grants (STRG)
Lead organizationRice University, Houston, TX
Start date2017-08-01
End date2021-07-31

Project contacts

Listed on TechPort itself — the most direct way to ask about this specific project.

How to get involved

This is early/mid-stage (TRL 3) — the most realistic path in is NASA SBIR/STTR, which funds small businesses and research institutions to develop technology aligned with NASA's needs (equity-free, phased funding). Check whether a current SBIR/STTR solicitation topic overlaps with this project's technology area, or contact the project directly (above) to ask.

None of these are guaranteed paths for this specific project — TechPort itself doesn't have an "apply" button. Reaching out to the contact(s) above with a specific question is usually the fastest way to find out what's actually open.