SHF: Medium: Automating robot programming through constraint solving and motion planning
SHF: Medium: Automating robot programming through constraint solving and motion planning
批准号:
1514372
负责人:
Lydia Kavraki
金额:
$80.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-07-01 至 2021-06-30
中文摘要
该项目旨在为个人机器人开发一个名为Robosynth的高级编程框架。在这里,不是编写低级代码来定义机器人必须如何执行任务,而是由机器人的用户编写规范来定义要完成的任务。给定这个规范和机器人环境的模型,Robosynth自动合成一个可以在机器人上执行的程序。只要环境的行为符合假定的模型,该程序的所有执行都保证满足用户定义的需求。这种方法及其衍生产品可以让大量没有经验的程序员也能接触到机器人编程。该项目的技术亮点是用户与Robosynth交互使用的规范语言,以及Robosynth用于自动代码合成的算法。这些算法同时推理与机器人的高级目标有关的逻辑任务级别,以及与导航和操纵物理空间有关的连续运动级别。在任务层面,Robosynth利用了最近的方法来分析逻辑约束的复杂系统,例如smt求解和图形游戏的符号解。运动级推理使用基于采样的运动规划技术进行。
英文摘要
The project aims to develop a high-level programming framework, called Robosynth, for personal robots. Here, rather than writing low-level code that defines how a robot must perform a task, the user of the robot writes a specification that defines what is to be accomplished. Given this specification and a model of the robot's environment, Robosynth automatically synthesizes a program that can be executed on the robot. So long as the environment behaves according to the assumed model, all executions of this program are guaranteed to satisfy the user-defined requirements.This approach and its derivatives can make robot programming accessible to a vast untapped body of inexperienced programmers.The technical highlights of the project are the specification language using which users interact with Robosynth, and the algorithms that Robosynth uses for automatic code synthesis. These algorithms simultaneously reason about a logical task level that is concerned with the high-level goals of the robot, as well as a continuous motion level concerned with navigating and manipulating a physical space. At the task level, Robosynth leverages recent methods for analyzing complex systems of logical constraints, for example SMT-solving and symbolic solution of graph games. Motion-level reasoning is performed using sampling-based motion planning techniques.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A Framework for Manipulation Planning and Execution under Uncertainty in Partially-Known Environments
-
批准号:2336612
-
项目类别:Standard Grant
-
资助金额:$71.53万
-
财政年份:2024
-
负责人:Lydia Kavraki
-
依托单位:
Collaborative Research [FW-HTF-RM]: The Future of Nurse Training: Robotic Teaching Assistant Systems for Nursing Instructors
-
批准号:2326390
-
项目类别:Standard Grant
-
资助金额:$82.8万
-
财政年份:2023
-
负责人:Lydia Kavraki
-
依托单位:
Collaborative Research: FW-HTF-R: The Future of Robot-Assisted Nursing: Interactive AI Frameworks for Upskilling Nurses and Customizing Robot Assistance
-
批准号:2222876
-
项目类别:Standard Grant
-
资助金额:$12.17万
-
财政年份:2022
-
负责人:Lydia Kavraki
-
依托单位:
IIBR:Informatics:RAPID: Structure-based identification of SARS-derived peptides with potential to induce broad protective immunity
-
批准号:2033262
-
项目类别:Standard Grant
-
资助金额:$11.97万
-
财政年份:2020
-
负责人:Lydia Kavraki
-
依托单位:
RI: Small: A Novel Framework for Informed Manipulation Planning
-
批准号:2008720
-
项目类别:Standard Grant
-
资助金额:$42.5万
-
财政年份:2020
-
负责人:Lydia Kavraki
-
依托单位:
NRI: FND: Robotic Collaboration through Scalable Reactive Synthesis
-
批准号:1830549
-
项目类别:Standard Grant
-
资助金额:$74.93万
-
财政年份:2018
-
负责人:Lydia Kavraki
-
依托单位:
RI: Small: Robot Motion Planning with an Experience Database
-
批准号:1718478
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2017
-
负责人:Lydia Kavraki
-
依托单位:
AF: Small: An Integrated Approach to Characterizing Conformational Changes of Large Proteins
-
批准号:1423304
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2014
-
负责人:Lydia Kavraki
-
依托单位:
NRI: Small: Collaborative Research: Rethinking Motion Generation for Robots Operating in Human Workspaces
-
批准号:1317849
-
项目类别:Standard Grant
-
资助金额:$89.92万
-
财政年份:2013
-
负责人:Lydia Kavraki
-
依托单位:
ABI Innovation: Mining Metabolic and Enzyme Databases for the Composition of Non-Canonical Pathways
-
批准号:1262491
-
项目类别:Standard Grant
-
资助金额:$69.49万
-
财政年份:2013
-
负责人:Lydia Kavraki
-
依托单位:
ABI: A Toolbox for Large-Scale Analysis of Structural Molecular Data
-
批准号:0960612
-
项目类别:Continuing Grant
-
资助金额:$76.57万
-
财政年份:2010
-
负责人:Lydia Kavraki
-
依托单位:
SHF: Small: A Synergistic Multi-Layered Approach for Falsification of Specifications for Hybrid Systems
-
批准号:1018798
-
项目类别:Standard Grant
-
资助金额:$48.0万
-
财政年份:2010
-
负责人:Lydia Kavraki
-
依托单位:
Teaching robot motion planning through an integrated software environment
-
批准号:0920721
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2009
-
负责人:Lydia Kavraki
-
依托单位:
RI: Robot Planning and Coordination under Physical Constraints
-
批准号:0713623
-
项目类别:Continuing Grant
-
资助金额:$43.88万
-
财政年份:2007
-
负责人:Lydia Kavraki
-
依托单位:
CSR/EHS: A Robotics-Inspired Approach for the Verification of Hybrid Systems
-
批准号:0615328
-
项目类别:Continuing Grant
-
资助金额:$42.0万
-
财政年份:2006
-
负责人:Lydia Kavraki
-
依托单位:
Support for Federated Logic Conference
-
批准号:0629001
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2006
-
负责人:Lydia Kavraki
-
依托单位:
CRI: Acquisition of Rice Physical and Biological Computing (PBC) Cluster
-
批准号:0454333
-
项目类别:Continuing Grant
-
资助金额:$29.1万
-
财政年份:2005
-
负责人:Lydia Kavraki
-
依托单位:
BioComp: A Computational Framework for the Characterization of Biological Systems at the Molecular Level
-
批准号:0523908
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2005
-
负责人:Lydia Kavraki
-
依托单位:
Motion Planning with Constraints: from Applications to General Solution Frameworks
-
批准号:0308237
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Lydia Kavraki
-
依托单位:
CISE Postdoc Research Associates in Experimental Computer Science: Manipulation of Rigid and Deformable Objects with Applications in Manufacturing and Computer-Assisted Surgery
-
批准号:0072743
-
项目类别:Standard Grant
-
资助金额:$6.6万
-
财政年份:2000
-
负责人:Lydia Kavraki
-
依托单位:
海外基金