CPS: Medium: Modular Power Orchestration at the Meso-scale

CPS：中：中观规模的模块化电源编排

• 批准号: 1739643
• 负责人: Xuan Zhang
• 金额: $ 93.65万
• 依托单位: Washington University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-09-15 至 2023-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1739643&HistoricalAwards=false
• 关键词: CPS; Medium; Modular; Power; Orchestration

Energy storage and power distribution play an integral part in the engineered systems that play critical roles in people's everyday lives, including transportation, utility, health, and security. In today's cyber-physical platforms, however, the generation, storage, allocation, and distribution of energy among modules is often managed in a haphazard and rigid manner that is fixed at the system design stage. The limitations of existing power management methods are clearly evident in highly-integrated meso-scale systems, which range from mobile devices to large installations such as the International Space Station. The power semantics of these meso-scale systems fall in between those of macro-scale power grids and micro-scale on-chip power management, resulting in a significant solution void. This research project aims to fill that void by establishing an agile, yet resilient, framework to design and manage power distribution and energy storage in cyber-physical systems. The broader impacts of this project will not only transform power delivery capabilities in emerging technologies such as the next generation of electric and hybrid autonomous vehicles, but also enrich inter-disciplinary education by bridging hardware-oriented power electronics design with control, system software, and application development, through curriculum integration and outreach programs.This research will develop a principled approach towards two main goals: modularizing the management of power semantics in meso-scale cyber-physical systems, and orchestrating the power-related system-wide interactions among heterogeneous modules. We begin by introducing an innovative equivalence between the management of power distribution and the optimization of energy packet delivery. This new problem formulation allows us to re-imagine the power architecture by incorporating malleable power modules as smart energy routers, connecting and buffering bidirectional power flows between diverse functional components such as motors, processors, and sensors. This research will develop a novel approach to efficient delivery of energy packets, which will allow reasoning about optimality and trade-offs among power and performance semantics holistically. This project will also establish a new intelligent coordination framework based on formal methods, for off-line generation of on-line interfaces among power modules, aiming to orchestrate exchanges of power among modules at a full-system level, even in the face of variability and model uncertainty. This modular power flow orchestration framework is a step towards a theory of modular smart ubiquitous cyber-physical devices, empowering a paradigm shift in how next-generation systems with new semantic objectives such as long-term sustainable autonomy can be built.

能源储存和配电在人们的日常生活中起着至关重要的作用，包括交通、公用事业、健康和安全的工程系统中起着不可或缺的作用。然而，在当今的网络物理平台中，能源在模块之间的产生、存储、分配和分配往往以一种随意和僵化的方式进行管理，这种方式在系统设计阶段就固定了。现有电源管理方法的局限性在高度集成的中尺度系统中是显而易见的，从移动设备到大型设施，如国际空间站。这些中尺度系统的功率语义介于宏观电网和微尺度片上电源管理之间，存在很大的解决空白。本研究项目旨在通过建立一个灵活而有弹性的框架来设计和管理网络物理系统中的配电和储能，从而填补这一空白。该项目的广泛影响不仅将改变下一代电动和混合动力自动驾驶汽车等新兴技术的电力输送能力，而且还将通过课程整合和推广计划，通过将面向硬件的电力电子设计与控制、系统软件和应用程序开发相结合，丰富跨学科教育。本研究将发展一种原则性的方法，以实现两个主要目标：在中尺度网络物理系统中模块化电源语义管理，以及在异构模块之间协调与电源相关的系统范围内的交互。我们首先介绍了电力分配管理和能源包交付优化之间的创新等效。这种新的问题公式允许我们重新设想电源架构，将可延展的电源模块作为智能能量路由器，连接和缓冲不同功能组件（如电机、处理器和传感器）之间的双向电流。这项研究将开发一种新的方法来有效地传输能量包，这将允许对功率和性能语义之间的最优性和权衡进行整体推理。本项目还将建立一个基于形式化方法的新型智能协调框架，用于离线生成电源模块之间的在线接口，旨在协调模块之间在全系统层面的电力交换，即使面对可变性和模型不确定性。这种模块化的潮流编排框架是朝着模块化智能无处不在的网络物理设备理论迈出的一步，为下一代系统的新语义目标（如长期可持续自治）的构建提供了范式转变。

项目成果

Quantifying Rowhammer Vulnerability for DRAM Security

量化 DRAM 安全性的 Rowhammer 漏洞

• DOI: 10.1109/dac18074.2021.9586119
• 发表时间: 2021
• 期刊: 2021 58th ACM/IEEE Design Automation Conference (DAC
• 作者: Jiang, Yichen;Zhu, Huifeng;Sullivan, Dean;Guo, Xiaolong;Zhang, Xuan;Jin, Yier
• 通讯作者: Jin, Yier

PowerTouch: A Security Objective-Guided Automation Framework for Generating Wired Ghost Touch Attacks on Touchscreens

PowerTouch：一种安全目标引导的自动化框架，用于在触摸屏上生成有线幽灵触摸攻击

• DOI: 10.1145/3508352.3549395
• 发表时间: 2022
• 期刊: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design
• 作者: Zhu, Huifeng;Yu, Zhiyuan;Cao, Weidong;Zhang, Ning;Zhang, Xuan
• 通讯作者: Zhang, Xuan

HOGEye: Neural Approximation of HOG Feature Extraction in RRAM-Based 3D-Stacked Image Sensors

• DOI: 10.1145/3531437.3539706
• 发表时间: 2022-08
• 期刊: Proceedings of the ACM/IEEE International Symposium on Low Power Electronics and Design
• 作者: T. Ma;Weidong Cao;Fei Qiao;Ayan Chakrabarti;Xuan Zhang

Attacking Vision-based Perception in End-to-End Autonomous Driving Models

• DOI: 10.1016/j.sysarc.2020.101766
• 发表时间: 2019-10
• 期刊: J. Syst. Archit.
• 作者: Adith Boloor;Karthik Garimella;Xin He;C. Gill;Yevgeniy Vorobeychik;Xuan Zhang

Simple Physical Adversarial Examples against End-to-End Autonomous Driving Models

• DOI: 10.1109/icess.2019.8782514
• 发表时间: 2019-03
• 期刊: 2019 IEEE International Conference on Embedded Software and Systems (ICESS)
• 作者: Adith Boloor;Xin He;C. Gill;Yevgeniy Vorobeychik;Xuan Zhang