II-New: CyPhyHouse: A Laboratory for Evolving Distributed and Mobile Cyber-Physical Systems Research
II-新:CyPhyHouse:不断发展的分布式和移动网络物理系统研究实验室
基本信息
- 批准号:1629949
- 负责人:
- 金额:$ 61万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2016
- 资助国家:美国
- 起止时间:2016-07-15 至 2021-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This project develops CyPhyHouse: an innovation playground for enabling rapid development and deployment of distributed and mobile robotic systems. Distributed robotic systems are at the frontier of research in manufacturing, transportation, logistics, and exploration. Yet, managing and experimenting with distributed robotic platforms can be a laborious and error-prone undertaking. Deploying a new algorithm on an existing hardware platform can take weeks; porting an application to a new platform can take months. This high overhead of deploying robotic applications takes a toll on the robustness of the scientific claims made in this area. CyPhyHouse provides application programming interfaces (APIs) and an easy to use software environment which reduces the above efforts by orders of magnitude. This new infrastructure provides easy to use, open source, software and hardware platform for rapidly programming, simulating, deploying, and visualizing a rich family of applications on heterogeneous fleet of vehicles. It thus will enable large-scale experimental research needed for developing computing systems that support and rely on coordinated and controlled mobility, for example, in the study of mobility of WiFi access points, debuggers for mobile systems, and augmented-reality with real and virtual Unmanned Autonomous Vehicles.The hardware infrastructure consists of a collection of about mobile vehicle platforms (a mix of ground vehicles and aerial vehicles). The software infrastructure consists of APIs for coordination and control of the heterogeneous fleet based on distributed shared-memory (DSM) and reach-avoid functions. These APIs are integrated in an extension of a familiar programming language (e.g., C++ or Java) and have implementations on all the hardware platforms. Supporting software tools are developed for compilation, simulation, logging, and monitoring that help with development and deployment of application programs. The infrastructure enables a researcher to quickly deploy experiments involving dozens of vehicles and visualize them. The same high-level application programs will be portable across different hardware platforms. The platform enables large-scale, repeatable experimental research needed for developing computing systems that support and rely on coordinated and controlled mobility. All the software and hardware specifications will be open-sourced and made available to the broader community. In several graduate courses, CyPhyHouse will provide students with a realistic platform for projects. It aims to help train graduate students and provide research opportunities for undergraduates in areas like cyber-physical systems, mobile and distributed computing, and multi-agent systems.
该项目开发了Cyphyhouse:一个创新游乐场,可快速开发和部署分布式和移动机器人系统。分布式机器人系统位于制造,运输,物流和勘探方面的研究领域。但是,管理和试验分布式机器人平台可能是一项费力且容易出错的工作。在现有的硬件平台上部署新算法可能需要数周的时间;将应用程序移植到新平台可能需要数月。部署机器人应用程序的高间接损害了该领域的科学主张的稳健性。 Cyphyhouse提供应用程序编程接口(API)和易于使用的软件环境,从而减少了上述数量级的努力。这种新的基础架构提供了易于使用的,开源,软件和硬件平台,可快速编程,模拟,部署和可视化在异质车辆车队上的丰富应用家庭。因此,它将实现开发支持和依靠协调和控制的移动性所需的大规模实验研究,例如,在WiFi访问点的移动性,移动系统的调试器的迁移率研究中以及使用真实和虚拟的无人驾驶自动驾驶汽车增强真实性。硬件基础设施由围绕移动车辆的工具组成(一款型号的车辆),以及混合了驾驶汽车的集合)。该软件基础架构由基于分布式共享记忆(DSM)和触及避免功能的API组成,用于协调和控制异质车队。这些API集成到熟悉的编程语言(例如C ++或Java)的扩展中,并在所有硬件平台上具有实现。支持软件工具是用于有助于开发和部署应用程序程序的编译,仿真,记录和监视的。这些基础设施使研究人员能够快速部署涉及数十个车辆的实验并将其可视化。相同的高级应用程序将在不同的硬件平台上移植。该平台实现了开发支持并依靠协调和控制的移动性的计算系统所需的大规模,可重复的实验研究。 所有软件和硬件规格将是开源的,并提供给更广泛的社区。在几个研究生课程中,Cyphyhouse将为学生提供一个现实的项目平台。它的目的是帮助培训研究生,并为在网络物理系统,移动和分布式计算以及多机构系统等领域的大学生提供研究机会。
项目成果
期刊论文数量(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 }}
Sayan Mitra其他文献
Assured Collision Avoidance for Learned Controllers: A Case Study of ACAS Xu
确保学习控制器避免碰撞:ACAS Xu 的案例研究
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Gokul Puthumanaillam;Manav Vora;Taha Shafa;Yangge Li;Melkior Ornik;Sayan Mitra - 通讯作者:
Sayan Mitra
P23-080-23 Impact of an Intensive Lifestyle Program on Low Attenuation Plaque and Myocardial Perfusion in Coronary Heart Disease: A Randomised Clinical Trial Protocol
- DOI:
10.1016/j.cdnut.2023.100188 - 发表时间:
2023-07-01 - 期刊:
- 影响因子:
- 作者:
Tian Wang;Sophie Cassidy;Cynthia Kroeger;Sayan Mitra;Rosilene Ribeiro;Andrius Masedunskas;Robin Huang;Luigi Fontana - 通讯作者:
Luigi Fontana
Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing
细化感知契约:基于视觉的安全自动着陆案例研究
- DOI:
10.48550/arxiv.2311.08652 - 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Yangge Li;Benjamin C Yang;Yixuan Jia;Daniel Zhuang;Sayan Mitra - 通讯作者:
Sayan Mitra
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
ARCH-COMP20 类别报告:具有线性连续动态的连续和混合系统
- DOI:
10.29007/7dt2 - 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Matthias Althoff;Stanley Bak;Zongnan Bao;M. Forets;Goran Frehse;Daniel Freire;Niklas Kochdumper;Yangge Li;Sayan Mitra;Rajarshi Ray;Christian Schilling;Stefan Schupp;Mark Wetzlinger - 通讯作者:
Mark Wetzlinger
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse
Ray 和 Verse 混合自动机的并行增量验证
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
Haoqing Zhu;Yangge Li;Keyi Shen;Sayan Mitra - 通讯作者:
Sayan Mitra
Sayan Mitra的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Sayan Mitra', 18)}}的其他基金
FMitF: Collaborative Research: Track I: Predictive Online Safety Analysis from Multi-hop State Estimates for High-autonomy on Highways
FMITF:合作研究:第一轨:通过多跳状态估计进行预测在线安全分析,以实现高速公路的高度自治
- 批准号:
1918531 - 财政年份:2019
- 资助金额:
$ 61万 - 项目类别:
Standard Grant
CPS:SMALL: Privacy-preserving Network Congestion Control: Theory and Applications
CPS:SMALL:隐私保护网络拥塞控制:理论与应用
- 批准号:
1739966 - 财政年份:2017
- 资助金额:
$ 61万 - 项目类别:
Standard Grant
CSR: Small: From Simulations to Proofs for Cyberphysical Systems
CSR:小:从网络物理系统的模拟到证明
- 批准号:
1422798 - 财政年份:2014
- 资助金额:
$ 61万 - 项目类别:
Standard Grant
CAREER: Algorithms and Verification for Reliable Distributed Cyber-Physical Systems
职业:可靠的分布式网络物理系统的算法和验证
- 批准号:
1054247 - 财政年份:2011
- 资助金额:
$ 61万 - 项目类别:
Continuing Grant
CSR: Small: Verifying Simulink-Stateflow models
CSR:小型:验证 Simulink-Stateflow 模型
- 批准号:
1016791 - 财政年份:2010
- 资助金额:
$ 61万 - 项目类别:
Continuing Grant
相似国自然基金
新骨架紫杉烷二萜baccataxane的化学合成、衍生化和降糖活性研究
- 批准号:82373758
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
老年重症新冠患者体内炎性细胞的特点、免疫致病机制及临床转归的研究
- 批准号:82370019
- 批准年份:2023
- 资助金额:65 万元
- 项目类别:面上项目
在幼年型粒单核细胞白血病中鉴定CD69作为其白血病干细胞新表面标记的实验研究
- 批准号:82370146
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
基于磁共振APT成像的乳腺癌新辅助治疗敏感性预测研究
- 批准号:82302153
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
新辅助化疗后CXCL12+CAF诱导胰腺癌三级淋巴结构表型特征与空间定位的分子机制研究
- 批准号:82373296
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
相似海外基金
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号:
2879438 - 财政年份:2027
- 资助金额:
$ 61万 - 项目类别:
Studentship
Development of a new solid tritium breeder blanket
新型固体氚增殖毯的研制
- 批准号:
2908923 - 财政年份:2027
- 资助金额:
$ 61万 - 项目类别:
Studentship
Collaborative Research: REU Site: Earth and Planetary Science and Astrophysics REU at the American Museum of Natural History in Collaboration with the City University of New York
合作研究:REU 地点:地球与行星科学和天体物理学 REU 与纽约市立大学合作,位于美国自然历史博物馆
- 批准号:
2348998 - 财政年份:2025
- 资助金额:
$ 61万 - 项目类别:
Standard Grant
New approaches to training deep probabilistic models
训练深度概率模型的新方法
- 批准号:
2613115 - 财政年份:2025
- 资助金额:
$ 61万 - 项目类别:
Studentship
Collaborative Research: REU Site: Earth and Planetary Science and Astrophysics REU at the American Museum of Natural History in Collaboration with the City University of New York
合作研究:REU 地点:地球与行星科学和天体物理学 REU 与纽约市立大学合作,位于美国自然历史博物馆
- 批准号:
2348999 - 财政年份:2025
- 资助金额:
$ 61万 - 项目类别:
Standard Grant