Collaborative Research: CPS: Medium: ASTrA: Automated Synthesis for Trustworthy Autonomous Utility Services

合作研究:CPS:媒介:ASTrA:值得信赖的自治公用事业服务的自动合成

基本信息

  • 批准号:
    2139781
  • 负责人:
  • 金额:
    $ 33.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    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的自动设计,该设计在许多应用程序中协调其决策,从机器人群到智能制造和智能城市。研究结果也将用于K-12和本科STEM外展工作。所提出的框架称为可信赖的自主公用事业服务(ASTRA)的自动合成,通过三管齐下的方法解决了设计挑战。它使用人口游戏来建模分布式决策基础设施(DMI)对大量战略代理人的影响。 DMI将通过我们寻求设计的专用网络混合硬件架构和算法来实现。 Astra进一步引入了一种系统的,分层的方法,以自动化需求表达表示DMI的设计,验证和验证。最后,它提供了一套尖端的计算工具,通过对离散模型之间的相互作用(例如用于描述复杂的任务或嵌入式软件组件)以及用于描述物理过程的连续模型来促进我们的方法。评估计划涉及在设计为零网络能源应用的真实测试床上进行的实验。该奖项反映了NSF的法定任务,并且使用基金会的知识分子优点和更广泛的影响审查标准,被认为值得通过评估来提供支持。

项目成果

期刊论文数量(5)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems
NNSynth:神经网络引导的随机系统基于抽象的控制器综合
PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities
Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers
  • DOI:
    10.1109/lcsys.2022.3231556
  • 发表时间:
    2022-09
  • 期刊:
  • 影响因子:
    3
  • 作者:
    James Ferlez;Yasser Shoukry
  • 通讯作者:
    James Ferlez;Yasser Shoukry
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency
SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge
SEO:边缘多传感器神经控制器的安全意识能源优化框架
  • DOI:
    10.1109/dac56929.2023.10247751
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Odema, Mohanad;Ferlez, James;Shoukry, Yasser;Al Faruque, Mohammad Abdullah
  • 通讯作者:
    Al Faruque, Mohammad Abdullah
共 5 条
  • 1
前往

Yasser Shoukry其他文献

An embedded hardware architecture for GPC-on-Chip applied to automotive active suspension systems
适用于汽车主动悬架系统的 GPC-on-Chip 嵌入式硬件架构
Scalable lazy SMT-based motion planning
基于惰性 SMT 的可扩展运动规划
Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise
安全状态估计:在存在噪声的情况下防止传感器攻击的最佳保证
Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection
Rampo:基于 CEGAR 的二进制代码分析和系统伪造集成,用于网络动力学漏洞检测
  • DOI:
  • 发表时间:
    2024
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kohei Tsujio;M. A. Faruque;Yasser Shoukry
    Kohei Tsujio;M. A. Faruque;Yasser Shoukry
  • 通讯作者:
    Yasser Shoukry
    Yasser Shoukry
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving
使用可满足性模理论求解在传感器攻击下的差分平坦系统中进行安全状态重建
共 9 条
  • 1
  • 2
前往

Yasser Shoukry的其他基金

SCC-IRG Track 1: Community-Driven Design of Fair, Urban Air Mobility Transportation Management Systems
SCC-IRG 第 1 轨:社区驱动的公平城市空中交通运输管理系统设计
  • 批准号:
    2313104
    2313104
  • 财政年份:
    2023
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Standard Grant
    Standard Grant
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
职业:高可信度、人工智能控制、网络物理系统的决策程序
  • 批准号:
    1845194
    1845194
  • 财政年份:
    2019
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Continuing Grant
    Continuing Grant
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
职业:高可信度、人工智能控制、网络物理系统的决策程序
  • 批准号:
    2002405
    2002405
  • 财政年份:
    2019
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Continuing Grant
    Continuing Grant
CPS: Medium: Resilient-by-Cognition Cyber-Physical Systems
CPS:中:认知弹性网络物理系统
  • 批准号:
    2013824
    2013824
  • 财政年份:
    2019
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Standard Grant
    Standard Grant
CPS: Medium: Resilient-by-Cognition Cyber-Physical Systems
CPS:中:认知弹性网络物理系统
  • 批准号:
    1837589
    1837589
  • 财政年份:
    2018
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Standard Grant
    Standard Grant
Collaborative Research: SOCIUS: Socially Responsible Smart Cities
合作研究:SOCIUS:具有社会责任感的智慧城市
  • 批准号:
    1651858
    1651858
  • 财政年份:
    2016
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Standard Grant
    Standard Grant

相似国自然基金

代谢酶CPS1调控PD-L1表达重塑肝癌免疫微环境的作用及机制研究
  • 批准号:
    82303340
  • 批准年份:
    2023
  • 资助金额:
    30.00 万元
  • 项目类别:
    青年科学基金项目
先锋转录因子FOXA2调控CPS1介导尿素循环在急性肝衰竭肝性脑病中的机制研究
  • 批准号:
    82300699
  • 批准年份:
    2023
  • 资助金额:
    30.00 万元
  • 项目类别:
    青年科学基金项目
CPs/MOFs介导多烯衍生物拓扑光聚合的高立体选择性构建策略研究
  • 批准号:
    22361004
  • 批准年份:
    2023
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目
尿素循环关键酶CPS1表达异常在肺癌转移中的作用和机制研究
  • 批准号:
    82273390
  • 批准年份:
    2022
  • 资助金额:
    52 万元
  • 项目类别:
    面上项目
GPER通过“barcode”磷酸化修饰调控β-arrestin/SH3-CPs信号介导肺腺癌EGFR-TKI原发耐药的机制研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
  • 批准号:
    2322534
    2322534
  • 财政年份:
    2024
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Standard Grant
    Standard Grant
Collaborative Research: CPS: NSF-JST: Enabling Human-Centered Digital Twins for Community Resilience
合作研究:CPS:NSF-JST:实现以人为本的数字孪生,提高社区复原力
  • 批准号:
    2420846
    2420846
  • 财政年份:
    2024
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Standard Grant
    Standard Grant
Collaborative Research: CPS: Medium: Automating Complex Therapeutic Loops with Conflicts in Medical Cyber-Physical Systems
合作研究:CPS:中:自动化医疗网络物理系统中存在冲突的复杂治疗循环
  • 批准号:
    2322533
    2322533
  • 财政年份:
    2024
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Standard Grant
    Standard Grant
Collaborative Research: CPS: NSF-JST: Enabling Human-Centered Digital Twins for Community Resilience
合作研究:CPS:NSF-JST:实现以人为本的数字孪生,提高社区复原力
  • 批准号:
    2420847
    2420847
  • 财政年份:
    2024
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Standard Grant
    Standard Grant
Collaborative Research: CPS: Small: Risk-Aware Planning and Control for Safety-Critical Human-CPS
合作研究:CPS:小型:安全关键型人类 CPS 的风险意识规划和控制
  • 批准号:
    2423130
    2423130
  • 财政年份:
    2024
  • 资助金额:
    $ 33.5万
    $ 33.5万
  • 项目类别:
    Standard Grant
    Standard Grant