CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems

CPS:前沿:协作研究:医疗网络物理系统的组合、近似和定量推理

基本信息

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

项目摘要

This project represents a cross-disciplinary collaborative research effort on developing rigorous, closed-loop approaches for designing, simulating, and verifying medical devices. The work will open fundamental new approaches for radically accelerating the pace of medical device innovation, especially in the sphere of cardiac-device design. Specific attention will be devoted to developing advanced formal methods-based approaches for analyzing controller designs for safety and effectiveness; and devising methods for expediting regulatory and other third-party reviews of device designs. The project team includes members with research backgrounds in computer science, electrical engineering, biophysics, and cardiology; the PIs will use a coordinated approach that balances theoretical, experimental and practical concerns to yield results that are intended to transform the practice of device design while also facilitating the translation of new cardiac therapies into practice.The proposed effort will lead to significant advances in the state of the art for system verification and cardiac therapies based on the use of formal methods and closed-loop control and verification. The animating vision for the work is to enable the development of a true in silico design methodology for medical devices that can be used to speed the development of new devices and to provide greater assurance that their behaviors match designers' intentions, and to pass regulatory muster more quickly so that they can be used on patients needing their care. The scientific work being proposed will serve this vision by providing mathematically robust techniques for analyzing and verifying the behavior of medical devices, for modeling and simulating heart dynamics, and for conducting closed-loop verification of proposed therapeutic approaches. The acceleration in medical device innovation achievable as a result of the proposed research will also have long-term and sustained societal benefits, as better diagnostic and therapeutic technologies enter into the practice of medicine more quickly. It will also yield a collection of tools and techniques that will be applicable in the design of other types of devices. Finally, it will contribute to the development of human resources and the further inclusion of under-represented groups via its extensive education and outreach programs, including intensive workshop experiences for undergraduates.
该项目代表了一个跨学科的合作研究工作,为设计,模拟和验证医疗设备开发严格的闭环方法。 这项工作将为从根本上加快医疗设备创新的步伐开辟新的方法,特别是在心脏设备设计领域。将特别关注开发先进的基于正式方法的方法,用于分析控制器设计的安全性和有效性;并设计加快监管和其他第三方审查器械设计的方法。 项目组成员包括具有计算机科学、电气工程、生物物理学和心脏病学研究背景的人员; PI将使用协调的方法,实验和实践的关注,以产生旨在改变设备设计实践的结果,同时也促进新的心脏治疗转化为实践。基于形式化方法和闭环控制与验证的系统验证和心脏治疗技术。 这项工作的动画愿景是为医疗器械开发一种真正的计算机设计方法,可用于加速新器械的开发,并提供更大的保证,使其行为符合设计师的意图,并更快地通过监管要求,以便它们可以用于需要护理的患者。 正在提出的科学工作将通过提供数学上强大的技术来分析和验证医疗设备的行为,建模和模拟心脏动力学,以及对拟议的治疗方法进行闭环验证,从而实现这一愿景。 由于拟议的研究,医疗器械创新的加速也将产生长期和持续的社会效益,因为更好的诊断和治疗技术将更快地进入医学实践。 它还将产生一系列适用于其他类型设备设计的工具和技术。 最后,它将通过其广泛的教育和外联方案,包括为本科生举办的密集讲习班,促进人力资源的开发和进一步包容代表性不足的群体。

项目成果

期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Spatiotemporal correlation uncovers characteristic lengths in cardiac tissue
  • DOI:
    10.1103/physreve.100.020201
  • 发表时间:
    2019-08-16
  • 期刊:
  • 影响因子:
    2.4
  • 作者:
    Loppini, Alessandro;Gizzi, Alessio;Filippi, Simonetta
  • 通讯作者:
    Filippi, Simonetta
Single-variable delay-differential equation approximations of the Fitzhugh-Nagumo and Hodgkin-Huxley models
Fitzhugh-Nagumo 和 Hodgkin-Huxley 模型的单变量时滞微分方程近似
{{ 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 }}

Elizabeth Cherry其他文献

PO-01-211 strongLONG-TIME MACHINE-LEARNING PREDICTION OF COMPLEX SPATIOTEMPORAL DYNAMICS DURING FIBRILLATION IN LIVE EXPLANTED PIG AND HUMAN HEARTS/strong
PO-01-211 对离体猪和人心脏颤动期间复杂时空动力学的强大长期机器学习预测
  • DOI:
    10.1016/j.hrthm.2023.03.529
  • 发表时间:
    2023-05-01
  • 期刊:
  • 影响因子:
    5.700
  • 作者:
    Flavio H. Fenton;Shahrokh Shahi;Ilija Uzelac;Shahriar Iravanian;Neal K. Bhatia;Michael Burke;Anand D. Shah;Faisal M. Merchant;Elizabeth Cherry
  • 通讯作者:
    Elizabeth Cherry
Anthropocentrism in “The Wild”
  • DOI:
    10.1007/s11133-018-9394-y
  • 发表时间:
    2018-08-02
  • 期刊:
  • 影响因子:
    2.100
  • 作者:
    Elizabeth Cherry
  • 通讯作者:
    Elizabeth Cherry
A data assimilation approach to predict cell population epithelial-mesenchymal transition dynamics
  • DOI:
    10.1016/j.bpj.2021.11.2112
  • 发表时间:
    2022-02-11
  • 期刊:
  • 影响因子:
  • 作者:
    Mario J. Mendez;Matthew J. Hoffman;Elizabeth Cherry;Christopher A. Lemmon;Seth H. Weinberg
  • 通讯作者:
    Seth H. Weinberg
BS-516-02 OPTICAL MAPPING OF EXPLANTED HUMAN HEARTS ENABLES REFINED IONIC MODELS OF ACTION POTENTIAL AND CONDUCTION VELOCITY RESTITUTION CURVES FOR ARRHYTHMIA SIMULATION
  • DOI:
    10.1016/j.hrthm.2022.03.744
  • 发表时间:
    2022-05-01
  • 期刊:
  • 影响因子:
    5.700
  • 作者:
    Tae Yun Kim;Elizabeth Cherry;Shahriar Iravanian;Ilija Uzelac;Henry Chionuma;Neal Kumar Bhatia;Anand D. Shah;Michael Burke;Faisal M. Merchant;Hee Cheol Cho;Flavio H. Fenton
  • 通讯作者:
    Flavio H. Fenton
Observability Analysis of Data Reconstruction Strategies for a Cardiac Ionic Model
心脏离子模型数据重建策略的可观察性分析
  • DOI:
    10.22489/cinc.2023.441
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Laura M. Muñoz;Anna E Marks;Julio A Santiago;Mark O. Ampofo;Elizabeth Cherry
  • 通讯作者:
    Elizabeth Cherry

Elizabeth Cherry的其他文献

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

{{ truncateString('Elizabeth Cherry', 18)}}的其他基金

CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
CPS:前沿:协作研究:医疗网络物理系统的组合、近似和定量推理
  • 批准号:
    2028677
  • 财政年份:
    2020
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
Collaborative Research: Developing a Quantitative Three-Dimensional Understanding of Cardiac Arrhythmias
合作研究:对心律失常进行定量的三维理解
  • 批准号:
    2011280
  • 财政年份:
    2019
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Standard Grant
Collaborative Research: Developing a Quantitative Three-Dimensional Understanding of Cardiac Arrhythmias
合作研究:对心律失常进行定量的三维理解
  • 批准号:
    1762803
  • 财政年份:
    2018
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Standard Grant
Collaborative Research: Intramural Forecasting of Cardiac Electrical Dynamics
合作研究:心脏电动力学的壁内预测
  • 批准号:
    1234235
  • 财政年份:
    2012
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Standard Grant
"BRIGE:Contribution of Purkinje Fiber Dynamics to Ventricular Fibrillation"
“BRIGE:浦肯野纤维动力学对心室颤动的贡献”
  • 批准号:
    0824399
  • 财政年份:
    2008
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Standard Grant

相似海外基金

Collaborative Research: CPS: Frontier: Computation-Aware Algorithmic Design for Cyber-Physical Systems
合作研究:CPS:前沿:网络物理系统的计算感知算法设计
  • 批准号:
    2111688
  • 财政年份:
    2022
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
CPS: Frontier: Collaborative Research: COALESCE: COntext Aware LEarning for Sustainable CybEr-Agricultural Systems
CPS:前沿:协作研究:COALESCE:可持续网络农业系统的情境感知学习
  • 批准号:
    1954556
  • 财政年份:
    2021
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
CPS:前沿:协作研究:医疗网络物理系统的组合、近似和定量推理
  • 批准号:
    2028677
  • 财政年份:
    2020
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
CPS: Frontier: Collaborative Research: Cognitive Autonomy for Human CPS: Turning Novices into Experts
CPS:前沿:协作研究:人类 CPS 的认知自主性:将新手变成专家
  • 批准号:
    1836952
  • 财政年份:
    2019
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
CPS: Frontier: Collaborative Research: Cognitive Autonomy for Human CPS: Turning Novices into Experts
CPS:前沿:协作研究:人类 CPS 的认知自主性:将新手变成专家
  • 批准号:
    1836900
  • 财政年份:
    2019
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems
CPS:前沿:协作研究:数据驱动的网络物理系统
  • 批准号:
    1646522
  • 财政年份:
    2017
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
CPS:前沿:协作研究:高动态系统的设计正确控制软件综合
  • 批准号:
    1724457
  • 财政年份:
    2017
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems
CPS:前沿:协作研究:数据驱动的网络物理系统
  • 批准号:
    1645648
  • 财政年份:
    2017
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems
CPS:前沿:协作研究:数据驱动的网络物理系统
  • 批准号:
    1645832
  • 财政年份:
    2017
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
CPS: TTP Option: Frontier: Collaborative Research: A Bi-Directional Brain-Computer Interface for Restoration of Walking and Lower Extremity Sensation after Spinal Cord Injury
CPS:TTP 选项:前沿:协作研究:用于恢复脊髓损伤后行走和下肢感觉的双向脑机接口
  • 批准号:
    1646636
  • 财政年份:
    2017
  • 资助金额:
    $ 47.72万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了