CPS: Medium: Collaborative Research: A CPS Approach to Robot Design
CPS:媒介:协作研究:机器人设计的 CPS 方法
基本信息
- 批准号:1736754
- 负责人:
- 金额:$ 0.96万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2017
- 资助国家:美国
- 起止时间:2017-01-20 至 2017-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
In many important situations, analytically predicting the behavior of physical systems is not possible. For example, the three dimensional nature of physical systems makes it provably impossible to express closed-form analytical solutions for even the simplest systems. This has made experimentation the primary modality for designing new cyber-physical systems (CPS). Since physical prototyping and experiments are typically costly and hard to conduct, "virtual experiments" in the form of modeling and simulation can dramatically accelerate innovation in CPS. Unfortunately, major technical challenges often impede the effectiveness of modeling and simulation. This project develops foundations and tools for overcoming these challenges. The project focuses on robotics as an important, archetypical class of CPS, and consists of four key tasks: 1) Compiling and analyzing a benchmark suite for modeling and simulating robots, 2) Developing a meta-theory for relating cyber-physical models, as well as tools and a test bed for robot modeling and simulation, 3) Validating the research results of the project using two state-of-the-art robot platforms that incorporate novel control technologies and will require novel programming techniques to fully realize their potential 4) Developing course materials incorporating the project's research results and test bed.With the aim of accelerating innovation in a wide range of domains including stroke rehabilitation and prosthetic limbs, the project is developing new control concepts and modeling and simulation technologies for robotics. In addition to new mathematical foundations, models, and validation methods, the project will also develop software tools and systematic methods for using them. The project trains four doctoral students; develops a new course on modeling and simulation for cyber-physical systems that balances both control and programming concepts; and includes an outreach component to the public and to minority-serving K-12 programs.
在许多重要情况下,分析预测物理系统的行为是不可能的。例如,物理系统的三维性质使得即使是最简单的系统也无法表达封闭式解析解。这使得实验成为设计新网络物理系统(CPS)的主要方式。由于物理原型设计和实验通常成本高昂且难以进行,因此建模和仿真形式的“虚拟实验”可以极大地加速 CPS 的创新。不幸的是,主要的技术挑战往往会阻碍建模和仿真的有效性。该项目开发了克服这些挑战的基础和工具。该项目将机器人技术作为 CPS 的一个重要的典型类别,由四个关键任务组成:1)编译和分析用于建模和模拟机器人的基准套件,2)开发用于关联网络物理模型的元理论,例如以及用于机器人建模和仿真的工具和测试台,3) 使用两个最先进的机器人平台验证该项目的研究结果,这些机器人平台结合了新颖的控制技术,并且需要新颖的编程技术来充分发挥其潜力4 )开发包含该项目研究成果和试验台的课程材料。为了加速中风康复和假肢等广泛领域的创新,该项目正在开发新的机器人控制概念以及建模和仿真技术。除了新的数学基础、模型和验证方法外,该项目还将开发软件工具和使用它们的系统方法。项目培养博士生4名;开发一门关于网络物理系统建模和仿真的新课程,平衡控制和编程概念;并包括向公众和少数族裔服务的 K-12 项目的外展部分。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Walid Taha其他文献
Safe & Robust Reachability Analysis of Hybrid Systems
安全的
- DOI:
10.1016/j.tcs.2018.06.020 - 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
E. Moggi;Amin Farjudian;Adam Duracz;Walid Taha - 通讯作者:
Walid Taha
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
使用 AST、Gensym 和 Reflection 实现多阶段语言
- DOI:
- 发表时间:
2003 - 期刊:
- 影响因子:0
- 作者:
Cristiano Calcagno;Walid Taha;Liwen Huang;X. Leroy - 通讯作者:
X. Leroy
Gradual Typing: Isabelle/Isar Formalization
渐进打字:Isabelle/Isar 形式化
- DOI:
10.1145/3133880 - 发表时间:
2006 - 期刊:
- 影响因子:0
- 作者:
Jeremy G. Siek;Walid Taha - 通讯作者:
Walid Taha
Atelectasis : Causes , Consequences , Comorbidities , Pathophysiology , Prevention , and Treatment
肺不张:原因、后果、合并症、病理生理学、预防和治疗
- DOI:
- 发表时间:
2021 - 期刊:
- 影响因子:0
- 作者:
Nicholas A Kerna;Uzoamaka Nwokorie;Kevin Pruitt;Fernand Jean;M. Ann;C. Ortigas;Walid Taha;Joseph Anderson;Priya John - 通讯作者:
Priya John
Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
程序生成的语义、应用和实现国际研讨会论文集
- DOI:
- 发表时间:
2000 - 期刊:
- 影响因子:0
- 作者:
Walid Taha - 通讯作者:
Walid Taha
Walid Taha的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Walid Taha', 18)}}的其他基金
CPS: Medium: Collaborative Research: A CPS Approach to Robot Design
CPS:媒介:协作研究:机器人设计的 CPS 方法
- 批准号:
1136099 - 财政年份:2011
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant
CAREER: Multi-stage Programming for Object-Oriented Languages
职业:面向对象语言的多阶段编程
- 批准号:
0747431 - 财政年份:2008
- 资助金额:
$ 0.96万 - 项目类别:
Continuing Grant
Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems
合作研究:CSR/EHS:构建物理安全的嵌入式系统
- 批准号:
0720857 - 财政年份:2007
- 资助金额:
$ 0.96万 - 项目类别:
Continuing Grant
A Merger of the Workshops on Generative and Component-Based Software Engineering (GCSE) and on the Semantics, Applications and Implementation of Program Generation (SAIG)
生成和基于组件的软件工程 (GCSE) 和程序生成的语义、应用和实现 (SAIG) 研讨会的合并
- 批准号:
0215394 - 财政年份:2002
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant
ITR/SY(CISE): Putting Multi Stage Annotations to Work
ITR/SY(CISE):将多阶段注释投入使用
- 批准号:
0302421 - 财政年份:2002
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant
A Merger of the Workshops on Generative and Component-Based Software Engineering (GCSE) and on the Semantics, Applications and Implementation of Program Generation (SAIG)
生成和基于组件的软件工程 (GCSE) 和程序生成的语义、应用和实现 (SAIG) 研讨会的合并
- 批准号:
0243259 - 财政年份:2002
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant
ITR/SY(CISE): Putting Multi Stage Annotations to Work
ITR/SY(CISE):将多阶段注释投入使用
- 批准号:
0113569 - 财政年份:2001
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant
相似国自然基金
复合低维拓扑材料中等离激元增强光学响应的研究
- 批准号:12374288
- 批准年份:2023
- 资助金额:52 万元
- 项目类别:面上项目
中等垂直风切变下非对称型热带气旋快速增强的物理机制研究
- 批准号:42305004
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于挥发性分布和氧化校正的大气半/中等挥发性有机物来源解析方法构建
- 批准号:42377095
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
基于机器学习和经典电动力学研究中等尺寸金属纳米粒子的量子表面等离激元
- 批准号:22373002
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
托卡马克偏滤器中等离子体的多尺度算法与数值模拟研究
- 批准号:12371432
- 批准年份:2023
- 资助金额:43.5 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:
2322534 - 财政年份:2024
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:
2322533 - 财政年份:2024
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Physics-Model-Based Neural Networks Redesign for CPS Learning and Control
合作研究:CPS:中:基于物理模型的神经网络重新设计用于 CPS 学习和控制
- 批准号:
2311084 - 财政年份:2023
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant
CPS: Medium: Collaborative Research: Provably Safe and Robust Multi-Agent Reinforcement Learning with Applications in Urban Air Mobility
CPS:中:协作研究:可证明安全且鲁棒的多智能体强化学习及其在城市空中交通中的应用
- 批准号:
2312092 - 财政年份:2023
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
合作研究:CPS:中:网络物理系统中的传感器攻击检测和恢复
- 批准号:
2333980 - 财政年份:2023
- 资助金额:
$ 0.96万 - 项目类别:
Standard Grant