Collaborative Research: CPS: Medium: ASTrA: Automated Synthesis for Trustworthy Autonomous Utility Services
合作研究:CPS:媒介:ASTrA:值得信赖的自治公用事业服务的自动合成
基本信息
- 批准号:2139982
- 负责人:
- 金额:$ 33.4万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2022
- 资助国家:美国
- 起止时间:2022-04-01 至 2025-03-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Large-scale systems with societal relevance, such as power generation systems, are increasingly able to leverage new technologies to mitigate their environmental impact, e.g., by harvesting energy from renewable sources. This NSF CPS project aims to investigate methods and computational tools to design a new user-centric paradigm for energy apportionment and distribution and, more broadly, for trustworthy utility services. In this paradigm, distributed networked systems will assist the end users of electricity in scheduling and apportioning their consumption. Further, they will enable local and national utility managers to optimize the use of green energy sources while mitigating the effects of intermittence, promote fairness, equity, and affordability. This project pursues a tractable approach to address the challenges of modeling and designing these large-scale, mixed-autonomy, multi-agent CPSs. The intellectual merits include new scalable methods, algorithms, and tools for the design of distributed decision-making strategies and system architectures that can assist the end users in meeting their goals while guaranteeing compliance with the fairness, reliability, and physical constraints of the design. The broader impacts include enabling the automated design of distributed CPSs that coordinate their decision-making in many applications, from robotic swarms to smart manufacturing and smart cities. The research outcomes will also be used in K-12 and undergraduate STEM outreach efforts. The proposed framework, termed Automated Synthesis for Trustworthy Autonomous Utility Services (ASTrA), addresses the design challenges via a three-pronged approach. It uses population games to model the effect of distributed decision-making infrastructures (DMI) on large populations of strategic agents. DMIs will be realized via dedicated networked hybrid hardware architectures and algorithms we seek to design. ASTrA further introduces a systematic, layered methodology to automate the design, verification, and validation of DMIs from expressive representations of the requirements. Finally, it offers a set of cutting-edge computational tools to facilitate our methodology by enabling efficient reasoning about the interaction between discrete models, e.g., used to describe complex missions or embedded software components, and continuous models used to describe physical processes. The evaluation plan involves experimentation on a real testbed designed for zero-net-energy applications.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
具有社会相关性的大型系统,如发电系统,越来越能够利用新技术来减轻其环境影响,例如,通过从可再生能源中获取能量。这个NSF CPS项目旨在研究方法和计算工具,以设计一个新的以用户为中心的能源分配和分配模式,更广泛地说,为值得信赖的公用事业服务。在这种模式下,分布式网络系统将帮助电力的最终用户调度和分配他们的消费。此外,它们将使地方和国家公用事业管理人员能够优化绿色能源的使用,同时减轻不稳定的影响,促进公平、公正和可负担性。该项目追求一种易于处理的方法来解决建模和设计这些大规模,混合自治,多代理CPS的挑战。智能的优点包括新的可扩展的方法,算法和工具的分布式决策策略和系统架构的设计,可以帮助最终用户在满足他们的目标,同时保证符合公平性,可靠性和物理约束的设计。更广泛的影响包括实现分布式CPS的自动化设计,这些CPS在许多应用中协调决策,从机器人群到智能制造和智能城市。研究成果也将用于K-12和本科STEM外展工作。建议的框架,称为自动合成值得信赖的自治公用事业服务(ASTrA),通过三管齐下的方法解决了设计挑战。它使用人口博弈来模拟分布式决策基础设施(Decision Making infrastructure,简称DecB)对大量战略代理人的影响。DMIs将通过我们寻求设计的专用网络混合硬件架构和算法来实现。ASTrA进一步引入了一种系统的、分层的方法,从需求的表达中自动化DMI的设计、验证和确认。最后,它提供了一套尖端的计算工具,以促进我们的方法,使有效的推理之间的相互作用离散模型,例如,用于描述复杂任务或嵌入式软件组件,以及用于描述物理过程的连续模型。评估计划包括在为零净能量应用设计的真实的试验台上进行实验。该奖项反映了NSF的法定使命,并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估来支持。
项目成果
期刊论文数量(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 }}
Pierluigi Nuzzo其他文献
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties
- DOI:
10.1016/j.nahs.2024.101532 - 发表时间:
2024-11-01 - 期刊:
- 影响因子:
- 作者:
Luca Geretti;Pieter Collins;Pierluigi Nuzzo;Tiziano Villa - 通讯作者:
Tiziano Villa
Platform-based mixed signal design: Optimizing a high-performance pipelined ADC
- DOI:
10.1007/s10470-006-9067-8 - 发表时间:
2006-09-11 - 期刊:
- 影响因子:1.400
- 作者:
Pierluigi Nuzzo;Fernando De Bernardinis;Alberto Sangiovanni Vincentelli - 通讯作者:
Alberto Sangiovanni Vincentelli
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project
网络物理生产系统的设计自动化:从 DeFacto 项目中汲取的经验教训
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Michele Lora;Sebastiano Gaiardelli;Chanwook Oh;Stefano Spellini;Pierluigi Nuzzo;Franco Fummi - 通讯作者:
Franco Fummi
DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks
DECOR:增强逻辑锁定以抵御基于机器学习的攻击
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Yinghua Hu;Kaixin Yang;Subhajit Dutta Chowdhury;Pierluigi Nuzzo - 通讯作者:
Pierluigi Nuzzo
Pierluigi Nuzzo的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Pierluigi Nuzzo', 18)}}的其他基金
CAREER: High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts
职业:具有深度合约的支持学习的网络物理系统的高保证设计
- 批准号:
1846524 - 财政年份:2019
- 资助金额:
$ 33.4万 - 项目类别:
Continuing Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:
2322534 - 财政年份:2024
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant
Collaborative Research: CPS: NSF-JST: Enabling Human-Centered Digital Twins for Community Resilience
合作研究:CPS:NSF-JST:实现以人为本的数字孪生,提高社区复原力
- 批准号:
2420846 - 财政年份:2024
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant
Collaborative Research: CPS: NSF-JST: Enabling Human-Centered Digital Twins for Community Resilience
合作研究:CPS:NSF-JST:实现以人为本的数字孪生,提高社区复原力
- 批准号:
2420847 - 财政年份:2024
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Small: Risk-Aware Planning and Control for Safety-Critical Human-CPS
合作研究:CPS:小型:安全关键型人类 CPS 的风险意识规划和控制
- 批准号:
2423130 - 财政年份:2024
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
- 批准号:
2322533 - 财政年份:2024
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Physics-Model-Based Neural Networks Redesign for CPS Learning and Control
合作研究:CPS:中:基于物理模型的神经网络重新设计用于 CPS 学习和控制
- 批准号:
2311084 - 财政年份:2023
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant
CPS: Medium: Collaborative Research: Provably Safe and Robust Multi-Agent Reinforcement Learning with Applications in Urban Air Mobility
CPS:中:协作研究:可证明安全且鲁棒的多智能体强化学习及其在城市空中交通中的应用
- 批准号:
2312092 - 财政年份:2023
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Enabling Data-Driven Security and Safety Analyses for Cyber-Physical Systems
协作研究:CPS:中:为网络物理系统实现数据驱动的安全和安全分析
- 批准号:
2414176 - 财政年份:2023
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: An Online Learning Framework for Socially Emerging Mixed Mobility
协作研究:CPS:媒介:社会新兴混合出行的在线学习框架
- 批准号:
2401007 - 财政年份:2023
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Mutualistic Cyber-Physical Interaction for Self-Adaptive Multi-Damage Monitoring of Civil Infrastructure
合作研究:CPS:中:土木基础设施自适应多损伤监测的互信息物理交互
- 批准号:
2305882 - 财政年份:2023
- 资助金额:
$ 33.4万 - 项目类别:
Standard Grant