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
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
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
Specifying and proving properties of timed I/O automata using Tempo
- DOI:
10.1007/s10617-008-9022-2 - 发表时间:
2008-07-09 - 期刊:
- 影响因子:0.900
- 作者:
Myla Archer;Hongping Lim;Nancy Lynch;Sayan Mitra;Shinya Umeno - 通讯作者:
Shinya Umeno
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
相似海外基金
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
PINK - Provision of Integrated Computational Approaches for Addressing New Markets Goals for the Introduction of Safe-and-Sustainable-by-Design Chemicals and Materials
PINK - 提供综合计算方法来解决引入安全和可持续设计化学品和材料的新市场目标
- 批准号:
10097944 - 财政年份:2024
- 资助金额:
$ 61万 - 项目类别:
EU-Funded
Royal Holloway and Bedford New College and Rubberatkins Limited KTP 23_24 R1
皇家霍洛威学院和贝德福德新学院和 Rubberatkins Limited KTP 23_24 R1
- 批准号:
10074401 - 财政年份:2024
- 资助金额:
$ 61万 - 项目类别:
Knowledge Transfer Partnership
Removal of Perfluorinated Chemicals Using New Fluorinated Polymer Sorbents
使用新型氟化聚合物吸附剂去除全氟化化学品
- 批准号:
LP220100036 - 财政年份:2024
- 资助金额:
$ 61万 - 项目类别:
Linkage Projects
Big time crystals: a new paradigm in condensed matter
大时间晶体:凝聚态物质的新范例
- 批准号:
DP240101590 - 财政年份:2024
- 资助金额:
$ 61万 - 项目类别:
Discovery Projects
Data Driven Discovery of New Catalysts for Asymmetric Synthesis
数据驱动的不对称合成新催化剂的发现
- 批准号:
DP240100102 - 财政年份:2024
- 资助金额:
$ 61万 - 项目类别:
Discovery Projects