CSR--EHS: Collaborative Research: ASPIRE: Antipodal Staged Processing In Role-adaptive Embedded-systems

CSR--EHS:协作研究:ASPIRE:角色自适应嵌入式系统中的反足分阶段处理

基本信息

  • 批准号:
    0614853
  • 负责人:
  • 金额:
    $ 14.5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2006
  • 资助国家:
    美国
  • 起止时间:
    2006-06-15 至 2010-05-31
  • 项目状态:
    已结题

项目摘要

Abstract:This collaborative project studies dynamical systems characterized by a combination of hybrid and probabilistic behavior. Hybrid behavior is characterized by discrete switching between system modes and continuous evolution within a mode. Such systems frequently arise in a wide range of applications, from power electronics and communication networks to economics and biology. In this research, a new modeling framework for such systems is developed, which supports external variables, compositional reasoning, and nondeterministic as well as probabilistic transitions. New stability criteria for such probabilistic hybrid systems are obtained. In contrast with existing results, they are formulated in terms of two independent components: a family of Lyapunov functions (one for each continuous mode) and a slow-switching condition of an average-dwell-time type. This modularity has the benefit of decoupling the search for Lyapunov functions from the verification of the desired properties of the discrete dynamics. The latter task is the focus of the project, and is treated using two complementary methods: one based on proving an invariant property, and another based on solving an optimization problem. These theoretical results are supported by development of new software tools.
翻译后摘要:这个合作项目研究动力系统的混合动力和概率行为的结合。混合行为的特征在于系统模式之间的离散切换和模式内的连续演化。 这种系统经常出现在广泛的应用中,从电力电子和通信网络到经济和生物学。在这项研究中,开发了一个新的建模框架,这样的系统,它支持外部变量,组合推理,以及不确定性和概率转换。新的稳定性准则,这样的概率混合系统。与现有的结果相比,他们制定的两个独立的组成部分:一个家庭的李雅普诺夫函数(一个为每个连续模式)和一个平均停留时间类型的慢开关条件。这种模块化的好处是解耦的搜索李雅普诺夫函数从所需的离散动态特性的验证。后一项任务是该项目的重点,并使用两种互补的方法进行处理:一种是基于证明不变属性,另一种是基于解决优化问题。新的软件工具的开发支持这些理论结果。

项目成果

期刊论文数量(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 }}

Mani Srivastava其他文献

Active Base Stations and Nodes for Wireless Networks
  • DOI:
    10.1023/a:1020825023234
  • 发表时间:
    2003-01-01
  • 期刊:
  • 影响因子:
    2.100
  • 作者:
    Athanassios Boulis;Paul Lettieri;Mani Srivastava
  • 通讯作者:
    Mani Srivastava
On the amplification of security and privacy risks by post-hoc explanations in machine learning models
机器学习模型中事后解释放大安全和隐私风险
  • DOI:
    10.48550/arxiv.2206.14004
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Pengrui Quan;Supriyo Chakraborty;J. Jeyakumar;Mani Srivastava
  • 通讯作者:
    Mani Srivastava
Molecular Modeling Evaluation of the Antimalarial Activity of Artemisinin Analogues: Molecular Docking and Rescoring using Prime/MM-GBSA Approach
青蒿素类似物抗疟活性的分子模型评估:使用 Prime/MM-GBSA 方法进行分子对接和重新评分
  • DOI:
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mani Srivastava;Harvinder Singh;P. Naik
  • 通讯作者:
    P. Naik
Editorial: Farewell and Introduction to the New Editor-in-Chief
  • DOI:
    10.1109/tmc.2011.8
  • 发表时间:
    2011-01
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Mani Srivastava
  • 通讯作者:
    Mani Srivastava
REVIEW ARTICLE - RATIONAL USE OF SWARNA PRASHANA IN CHILDREN IN CURRENT TIMES OF COVID 19 CRISIS
评论文章 - 当前 COVID 19 危机时期儿童中 Swarna Prashana 的合理使用

Mani Srivastava的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Mani Srivastava', 18)}}的其他基金

CRI: CI-EN: Collaborative Research: mResearch: A platform for Reproducible and Extensible Mobile Sensor Big Data Research
CRI:CI-EN:协作研究:mResearch:可复制和可扩展的移动传感器大数据研究平台
  • 批准号:
    1822935
  • 财政年份:
    2018
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
SaTC: CORE: Medium: Collaborative: Privacy-Aware Trustworthy Control as a Service for the Internet of Things (IoT)
SaTC:核心:媒介:协作:物联网 (IoT) 的隐私意识可信控制即服务
  • 批准号:
    1705135
  • 财政年份:
    2017
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
BD Spokes: SPOKE: WEST: Collaborative: MetroInsight: Knowledge Discovery and Real-Time Interventions from Sensory Data Flows in Urban Spaces
BD 发言:发言:WEST:协作:MetroInsight:城市空间中感知数据流的知识发现和实时干预
  • 批准号:
    1636916
  • 财政年份:
    2016
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
CPS: Frontiers: Collaborative Research: ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack
CPS:前沿:协作研究:ROSELINE:在整个系统堆栈中实现稳健、安全和高效的时间知识
  • 批准号:
    1329755
  • 财政年份:
    2014
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Continuing Grant
CSR: Large: Collaborative Research: Enabling Privacy-Utility Trade-Offs in Pervasive Computing Systems
CSR:大型:协作研究:在普适计算系统中实现隐私与效用的权衡
  • 批准号:
    1213140
  • 财政年份:
    2012
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
PC3: Pervasive Sensing and Computing Technologies for Energy and Water Sustainability in Buildings
PC3:用于建筑物能源和水可持续性的普遍传感和计算技术
  • 批准号:
    1143667
  • 财政年份:
    2011
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
Collaborative Research: Variability-Aware Software for Efficient Computing with Nanoscale Devices
协作研究:利用纳米级设备进行高效计算的可变性感知软件
  • 批准号:
    1029030
  • 财政年份:
    2010
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Continuing Grant
NetSE: Medium: Collaborative Research: Green Edge Networks
NetSE:媒介:协作研究:绿色边缘网络
  • 批准号:
    0905580
  • 财政年份:
    2009
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
NetSE: Large: Collaborative Research: FieldStream: Network Data Services for Exposure Biology Studies in Natural Environments
NetSE:大型:协作研究:FieldStream:自然环境中暴露生物学研究的网络数据服务
  • 批准号:
    0910706
  • 财政年份:
    2009
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
Collaborative Research: Design and Run-time Techniques for Physically Coupled Software
协作研究:物理耦合软件的设计和运行技术
  • 批准号:
    0820061
  • 财政年份:
    2008
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant

相似国自然基金

不同F1小鼠影响EHS生长的研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
靶向调控环氧二十碳三烯酸/环氧化物水解酶(EETs/EHs轴延缓IgA肾病进展的作用与机制研究
  • 批准号:
    CSTB2022NSCQ-LZX0027
  • 批准年份:
    2022
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
EHS3D-MT数据的RRMC统一处理与反演解释
  • 批准号:
    41874087
  • 批准年份:
    2018
  • 资助金额:
    63.0 万元
  • 项目类别:
    面上项目
东喜马拉雅构造结及周围地区深部三维结构与动力学(EHS3D)-第二阶段
  • 批准号:
    41330212
  • 批准年份:
    2013
  • 资助金额:
    315.0 万元
  • 项目类别:
    重点项目
EHS3D-MT数据的静位移校正与畸变分析
  • 批准号:
    40974043
  • 批准年份:
    2009
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
东喜马拉雅构造结及周围地区深部三维结构与动力学(EHS3D)-第一阶段
  • 批准号:
    40634025
  • 批准年份:
    2006
  • 资助金额:
    160.0 万元
  • 项目类别:
    重点项目

相似海外基金

CSR-EHCS(EHS), SM: Collaborative Research: An Anytime Approach to Real-Time Embedded Control
CSR-EHCS(EHS),SM:协作研究:实时嵌入式控制的随时方法
  • 批准号:
    0834771
  • 财政年份:
    2008
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR-EHCS(EHS), TM: Distributed Sensing via Robust Consensus on Manifolds
合作研究:CSR-EHCS(EHS),TM:通过流形上的鲁棒共识进行分布式传感
  • 批准号:
    0834470
  • 财政年份:
    2008
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
CSR-EHCS(EHS), SM: Collaborative Research: An Anytime Approach to Real-Time Embedded Control
CSR-EHCS(EHS),SM:协作研究:实时嵌入式控制的随时方法
  • 批准号:
    0834661
  • 财政年份:
    2008
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR-EHCS(EHS), TM: Distributed Sensing via Robust Consensus on Manifolds
合作研究:CSR-EHCS(EHS),TM:通过流形上的鲁棒共识进行分布式传感
  • 批准号:
    0834446
  • 财政年份:
    2008
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
CSR-EHCS(EHS), SM: Collaborative Research: Integrated Energy-Aware Resource Scheduling for Wireless Real-Time Systems
CSR-EHCS(EHS)、SM:协作研究:无线实时系统的集成能源感知资源调度
  • 批准号:
    0834230
  • 财政年份:
    2008
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
CSR-EHCS(EHS), SM: Collaborative Research: Integrated Energy-Aware Resource Scheduling for Wireless Real-Time Systems
CSR-EHCS(EHS)、SM:协作研究:无线实时系统的集成能源感知资源调度
  • 批准号:
    0834180
  • 财政年份:
    2008
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR--EHS: Property-Based Development of Reactive and Embedded Systems
合作研究:CSR--EHS:反应式和嵌入式系统的基于属性的开发
  • 批准号:
    0720525
  • 财政年份:
    2007
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR---EHS: Cross-System Modeling and Management for Variation-Adaptive Computing
合作研究:CSR---EHS:变化自适应计算的跨系统建模和管理
  • 批准号:
    0720529
  • 财政年份:
    2007
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR---EHS: Cross-System Modeling and Management for Variation-Adaptive Computing
合作研究:CSR---EHS:变化自适应计算的跨系统建模和管理
  • 批准号:
    0720561
  • 财政年份:
    2007
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Standard Grant
Collaborative Research: CSR-EHS: Towards an Integrated Framework for Low Power Reliable Real-Time Embedded Systems
合作研究:CSR-EHS:迈向低功耗可靠实时嵌入式系统的集成框架
  • 批准号:
    0720647
  • 财政年份:
    2007
  • 资助金额:
    $ 14.5万
  • 项目类别:
    Continuing grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了