CSR--CPS: Component-based Development of Cyber-Physical Systems
CSR--CPS:基于组件的信息物理系统开发
基本信息
- 批准号:0720703
- 负责人:
- 金额:$ 24.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2007
- 资助国家:美国
- 起止时间:2007-09-01 至 2010-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Cyber-Physical Systems (CPS) are those computer-based systems that have an intimate coupling with the physical world, which range from the nano-world to systems of systems. Envisioned CPS are complex systems that are composed of hardware components and software components and that must interact with a dynamically changing environment. Many CPS applications are safety critical and thus it is important to ensure they work safely and reliably.Component-based engineering has been widely accepted as an approach to facilitate the design of complex systems. It is based on the premise that a complex system can be designed by decomposing it into simpler components and then by composing the components using interfaces that abstract component complexities.The goal of the proposed work is to develop a compositional framework of components that serve as building blocks of CPS. The approach is to define the notion of a component that includes physical components (sensors and actuators) and computation tasks mapped to hardware platforms. The component is abstracted by a resource interface. Based on this notion, the project aims at the development of compositional analysis techniques for CPS based on compositional analysis of concurrent systems and hierarchical real-time scheduling
网络物理系统(CPS)是那些与物理世界紧密耦合的基于计算机的系统,其范围从纳米世界到系统的系统。 设想的CPS是由硬件组件和软件组件组成的复杂系统,并且必须与动态变化的环境交互。 许多CPS应用程序都是安全关键的,因此确保它们安全可靠地工作非常重要。基于可靠性的工程已被广泛接受为促进复杂系统设计的方法。 它是基于一个复杂的系统,可以通过分解成简单的组件,然后通过组成组件使用接口,抽象组件的complexity.Goals的建议的工作的前提是开发一个组成框架的组件,作为构建模块的CPS。 该方法是定义一个组件的概念,包括物理组件(传感器和执行器)和计算任务映射到硬件平台。 组件由资源接口抽象。 基于这一思想,本项目旨在基于并发系统的组成分析和分层实时调度,开发CPS的组成分析技术
项目成果
期刊论文数量(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 }}
Insup Lee其他文献
Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation
通过计算机模拟评估和增强术中胰岛素输注方案
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
B. Kohl;Sanjian Chen;M. Mullen;Insup Lee - 通讯作者:
Insup Lee
Distributed spatial control, global monitoring and steering of mobile agents
移动代理的分布式空间控制、全局监控和引导
- DOI:
- 发表时间:
1999 - 期刊:
- 影响因子:0
- 作者:
D. Gordon;W. Spears;O. Sokolsky;Insup Lee - 通讯作者:
Insup Lee
State Consistencies for Cyber-Physical System Recovery
信息物理系统恢复的状态一致性
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
O. Sokolsky;James Weimer;Insup Lee - 通讯作者:
Insup Lee
Exploring the twin peaks using probabilistic verification techniques
使用概率验证技术探索双峰
- DOI:
10.1145/2593861.2593865 - 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
A. Murugesan;Lu Feng;M. Heimdahl;Sanjai Rayadurgam;M. Whalen;Insup Lee - 通讯作者:
Insup Lee
Code generation from hybrid systems models for distributed embedded systems
从分布式嵌入式系统的混合系统模型生成代码
- DOI:
10.1109/isorc.2005.20 - 发表时间:
2005 - 期刊:
- 影响因子:0
- 作者:
M. Anand;Jesung Kim;Insup Lee - 通讯作者:
Insup Lee
Insup Lee的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Insup Lee', 18)}}的其他基金
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
合作研究:CPS:中:网络物理系统中的传感器攻击检测和恢复
- 批准号:
2143274 - 财政年份:2022
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
SCC-IRG JST: Active sensing and personalized interventions for pandemic-induced social isolation
SCC-IRG JST:针对大流行引起的社会隔离的主动感知和个性化干预
- 批准号:
2125561 - 财政年份:2021
- 资助金额:
$ 24.5万 - 项目类别:
Continuing Grant
SCH: INT: Collaborative Research: Smart Alarms 2.0: Foundations for Caregiver-in-the-loop Suppression of Non-Informative Alarms
SCH:INT:协作研究:智能警报 2.0:护理人员实时抑制非信息性警报的基础
- 批准号:
1915398 - 财政年份:2019
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
Synergy: Collaborative: Security and Privacy-Aware Cyber-Physical Systems
协同:协作:安全和隐私意识的网络物理系统
- 批准号:
1505799 - 财政年份:2015
- 资助金额:
$ 24.5万 - 项目类别:
Continuing Grant
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
CPS:协同:协作研究:医疗应用平台以应用程序为中心的动态架构的值得信赖的组合
- 批准号:
1239324 - 财政年份:2012
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
Assurance Cases for a Physiologically Closed-Loop PCA Systems
生理闭环 PCA 系统的保证案例
- 批准号:
1042829 - 财政年份:2010
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
CPS:大型:确保医疗器械信息物理系统的安全性、保密性和可靠性
- 批准号:
1035715 - 财政年份:2010
- 资助金额:
$ 24.5万 - 项目类别:
Continuing Grant
CPS:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination
CPS:中:协作研究:医疗设备协调的基础设施和技术创新
- 批准号:
0930647 - 财政年份:2009
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
CSR-EHCS(CPS) TM: Robust Composition and Interoperability of CPS Components
CSR-EHCS(CPS) TM:CPS 组件的稳健组合和互操作性
- 批准号:
0834524 - 财政年份:2008
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
CT-ISG: Collaborative Research: Massive Dataset Algorithmics for Network Security
CT-ISG:协作研究:网络安全的海量数据集算法
- 批准号:
0716172 - 财政年份:2007
- 资助金额:
$ 24.5万 - 项目类别:
Continuing Grant
相似国自然基金
细梗香草活性成分CPS-B靶向MARCHF3/NEU4/CDH11通路抑制宫颈癌侵袭转移的作用机制研究
- 批准号:HDMZ25H280006
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
肺炎克雷伯菌WaaLCPS连接酶相关的CPS-LPS合成通路及致病机制的研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于自动深度学习的电力CPS入侵检测及安全性提升方法研究
- 批准号:Z25F030003
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
先锋转录因子FOXA2调控CPS1介导尿素循环在急性肝衰竭肝性脑病中的机制研究
- 批准号:82300699
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
代谢酶CPS1调控PD-L1表达重塑肝癌免疫微环境的作用及机制研究
- 批准号:82303340
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
CPs/MOFs介导多烯衍生物拓扑光聚合的高立体选择性构建策略研究
- 批准号:22361004
- 批准年份:2023
- 资助金额:32 万元
- 项目类别:地区科学基金项目
尿素循环关键酶CPS1表达异常在肺癌转移中的作用和机制研究
- 批准号:82273390
- 批准年份:2022
- 资助金额:52 万元
- 项目类别:面上项目
CPS 仿真中离散事件模型与连续时间模型的分布式协同运行问题研究
- 批准号:2022JJ40559
- 批准年份:2022
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于数字孪生的智能车间CPS混沌预测与控制方法
- 批准号:
- 批准年份:2022
- 资助金额:54 万元
- 项目类别:面上项目
具有cps4I的植物乳杆菌在拮抗空肠弯曲杆菌中的作用和机制解析
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
CPS: Small: NSF-DST: Autonomous Operations of Multi-UAV Uncrewed Aerial Systems using Onboard Sensing to Monitor and Track Natural Disaster Events
CPS:小型:NSF-DST:使用机载传感监测和跟踪自然灾害事件的多无人机无人航空系统自主操作
- 批准号:
2343062 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
時間を一級データとするFRP言語とそれによる実時間CPS開発支援
以时间为一流数据的FRP语言以及使用它的实时CPS开发支持
- 批准号:
24K14892 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:
2322534 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
CRII: CPS: FAICYS: Model-Based Verification for AI-Enabled Cyber-Physical Systems Through Guided Falsification of Temporal Logic Properties
CRII:CPS:FAICYS:通过时态逻辑属性的引导伪造,对支持人工智能的网络物理系统进行基于模型的验证
- 批准号:
2347294 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
Collaborative Research: CPS: NSF-JST: Enabling Human-Centered Digital Twins for Community Resilience
合作研究:CPS:NSF-JST:实现以人为本的数字孪生,提高社区复原力
- 批准号:
2420846 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
生成系AIを取り入れたCPS型STEM授業デザインモデルの構築
构建结合生成式 AI 的 CPS 型 STEM 课程设计模型
- 批准号:
24K16759 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
個体差を考慮したCPS援用人工物システム設計手法の開発
考虑个体差异的CPS辅助工件系统设计方法的发展
- 批准号:
23K20910 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
CPS: Medium: Federated Learning for Predicting Electricity Consumption with Mixed Global/Local Models
CPS:中:使用混合全局/本地模型预测电力消耗的联合学习
- 批准号:
2317079 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
Conference: CPS: NSF Student Travel Grant for 2024 Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week)
会议:CPS:2024 年网络物理系统和物联网周(CPS-IoT Week)的 NSF 学生旅行补助金
- 批准号:
2422416 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant
CPS: Medium: GOALI: Enabling Safe Innovation for Autonomy: Making Publish/Subscribe Really Real-Time
CPS:中:GOALI:实现自主安全创新:使发布/订阅真正实时
- 批准号:
2333120 - 财政年份:2024
- 资助金额:
$ 24.5万 - 项目类别:
Standard Grant