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中显着加速创新。不幸的是,主要的技术挑战通常会阻碍建模和模拟的有效性。该项目开发了克服这些挑战的基础和工具。该项目侧重于机器人作为重要的,典型的CP类别,由四个关键任务组成:1)编译和分析用于建模和模拟机器人建模和模拟机器人的基准套件,2)用于与网络物理模型相关的元理论,以及与机器人模型的工具和模拟的测试床相关联,3)符合机器人模型的测试床,3)有效的效果 - 有效的效果 - 有效的项目 - 技术并将需要新颖的编程技术以充分发挥其潜力4)开发结合了该项目的研究结果和测试床的课程材料。其目的是加速在包括中风康复和假肢在内的广泛领域的创新,该项目正在开发新的控制概念,以及用于Robotics的模型和模拟技术。除了新的数学基础,模型和验证方法外,该项目还将开发用于使用它们的软件工具和系统的方法。该项目训练四名博士生;针对控制控制和编程概念的网络物理系统开发了有关建模和模拟的新课程;并包括向公众和少数派服务K-12计划的外展部分。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

暂无数据
数据更新时间:2024-06-01
Walid Taha其他文献
Safe & Robust Reachability Analysis of Hybrid Systems
安全的
- DOI:10.1016/j.tcs.2018.06.02010.1016/j.tcs.2018.06.020
- 发表时间:20172017
- 期刊:
- 影响因子:0
- 作者:E. Moggi;Amin Farjudian;Adam Duracz;Walid TahaE. Moggi;Amin Farjudian;Adam Duracz;Walid Taha
- 通讯作者:Walid TahaWalid Taha
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
使用 AST、Gensym 和 Reflection 实现多阶段语言
- DOI:
- 发表时间:20032003
- 期刊:
- 影响因子:0
- 作者:Cristiano Calcagno;Walid Taha;Liwen Huang;X. LeroyCristiano Calcagno;Walid Taha;Liwen Huang;X. Leroy
- 通讯作者:X. LeroyX. Leroy
Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
程序生成的语义、应用和实现国际研讨会论文集
- DOI:
- 发表时间:20002000
- 期刊:
- 影响因子:0
- 作者:Walid TahaWalid Taha
- 通讯作者:Walid TahaWalid Taha
Reasoning about Multi-stage Programs
多阶段程序的推理
- DOI:10.1007/978-3-642-28869-2_1810.1007/978-3-642-28869-2_18
- 发表时间:20122012
- 期刊:
- 影响因子:0
- 作者:Jun Inoue;Walid TahaJun Inoue;Walid Taha
- 通讯作者:Walid TahaWalid Taha
Gradual Typing: Isabelle/Isar Formalization
渐进打字:Isabelle/Isar 形式化
- DOI:10.1145/313388010.1145/3133880
- 发表时间:20062006
- 期刊:
- 影响因子:0
- 作者:Jeremy G. Siek;Walid TahaJeremy G. Siek;Walid Taha
- 通讯作者:Walid TahaWalid Taha
共 45 条
- 1
- 2
- 3
- 4
- 5
- 6
- 9
Walid Taha的其他基金
CPS: Medium: Collaborative Research: A CPS Approach to Robot Design
CPS:媒介:协作研究:机器人设计的 CPS 方法
- 批准号:11360991136099
- 财政年份:2011
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard Grant
CAREER: Multi-stage Programming for Object-Oriented Languages
职业:面向对象语言的多阶段编程
- 批准号:07474310747431
- 财政年份:2008
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Continuing GrantContinuing Grant
Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems
合作研究:CSR/EHS:构建物理安全的嵌入式系统
- 批准号:07208570720857
- 财政年份:2007
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Continuing GrantContinuing 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) 研讨会的合并
- 批准号:02153940215394
- 财政年份:2002
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard Grant
ITR/SY(CISE): Putting Multi Stage Annotations to Work
ITR/SY(CISE):将多阶段注释投入使用
- 批准号:03024210302421
- 财政年份:2002
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard 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) 研讨会的合并
- 批准号:02432590243259
- 财政年份:2002
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard Grant
ITR/SY(CISE): Putting Multi Stage Annotations to Work
ITR/SY(CISE):将多阶段注释投入使用
- 批准号:01135690113569
- 财政年份:2001
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard Grant
相似国自然基金
复合低维拓扑材料中等离激元增强光学响应的研究
- 批准号:12374288
- 批准年份:2023
- 资助金额:52 万元
- 项目类别:面上项目
基于管理市场和干预分工视角的消失中等企业:特征事实、内在机制和优化路径
- 批准号:72374217
- 批准年份:2023
- 资助金额:41.00 万元
- 项目类别:面上项目
托卡马克偏滤器中等离子体的多尺度算法与数值模拟研究
- 批准号:12371432
- 批准年份:2023
- 资助金额:43.5 万元
- 项目类别:面上项目
中等质量黑洞附近的暗物质分布及其IMRI系统引力波回波探测
- 批准号:12365008
- 批准年份:2023
- 资助金额:32 万元
- 项目类别:地区科学基金项目
中等垂直风切变下非对称型热带气旋快速增强的物理机制研究
- 批准号:42305004
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:23225342322534
- 财政年份:2024
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard Grant
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:23225332322533
- 财政年份:2024
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard Grant
Collaborative Research: CPS: Medium: Physics-Model-Based Neural Networks Redesign for CPS Learning and Control
合作研究:CPS:中:基于物理模型的神经网络重新设计用于 CPS 学习和控制
- 批准号:23110842311084
- 财政年份:2023
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard Grant
CPS: Medium: Collaborative Research: Provably Safe and Robust Multi-Agent Reinforcement Learning with Applications in Urban Air Mobility
CPS:中:协作研究:可证明安全且鲁棒的多智能体强化学习及其在城市空中交通中的应用
- 批准号:23120922312092
- 财政年份:2023
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard Grant
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
合作研究:CPS:中:网络物理系统中的传感器攻击检测和恢复
- 批准号:23339802333980
- 财政年份:2023
- 资助金额:$ 0.96万$ 0.96万
- 项目类别:Standard GrantStandard Grant