Collaborative Research: Next-Generation Model Checking and Abstract Interpretation With a Focus on Embedded Control and Systems Biology

合作研究:以嵌入式控制和系统生物学为重点的下一代模型检查和摘要解释

基本信息

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

项目摘要

"This award is funded under the American Recovery and Reinvestment Act of 2009(Public Law 111-5)."Summary: Formal Analysis of Complex SystemsA Collaborative Proposal Involving CMU, CUNY, NYU, Stony Brook, UMD, Cornell, JPLThis Expedition, under the directorship of Lead PI Edmund M. Clarke, will develop new computational tools to help scientists and engineers analyze and understand the behavior of the complex models they develop for application domains ranging from systems biology to embedded control. Building on the success of model checking and abstract interpretation (MCAI), two well-established methods for automatically verifying properties of digital circuit designs and embedded software, this research project will extend the MCAI paradigm to systems with complex continuous dynamics and probabilistic behaviors. Challenge problems providing technology drivers and testbeds for the research include: understanding the precursors and course of pancreatic cancer; predicting the onset of atrial fibrillation; and obtaining deep design-time insights into the behavior of automotive and aerospace control systems. Ultimately, this Expedition is expected to provide vital tools that will enable health-care researchers to discover better treatments for disease and will allow engineers to build safer aircraft and other complex systems.The world-class team of scientists and engineers assembled for this Expedition includes two Turing Award winners, a recipient of the National Medal of Science, and awardees of other prestigious research prizes. Outreach consists of the development of a new, highly ambitious and highly cross-discipline educational program called Complex Systems Science Engineering, an annual Minority-Focused Intersession Workshop for Undergraduates on Understanding and Analyzing Complex Embedded and Biological Systems to be hosted at member institution Lehman College, CUNY; substantial financial support for undergraduate research; student involvement in the NASA JPL Research Affiliates Program; and other research opportunities for undergraduate and graduate students and postdoctoral trainees.More information: http://www.mcai2.org/
“这项奖励是根据2009年美国复苏和再投资法案(公法111-5)资助的。”摘要:复杂系统的形式化分析一项涉及CMU, CUNY, NYU, Stony Brook, UMD, Cornell, jpl的合作提案。这次远征,在领导PI Edmund M. Clarke的领导下,将开发新的计算工具,以帮助科学家和工程师分析和理解他们为从系统生物学到嵌入式控制等应用领域开发的复杂模型的行为。基于模型检查和抽象解释(MCAI)这两种自动验证数字电路设计和嵌入式软件特性的成熟方法的成功,本研究项目将把MCAI范式扩展到具有复杂连续动力学和概率行为的系统。为研究提供技术驱动和测试平台的挑战问题包括:了解胰腺癌的前体和病程;预测房颤的发生;并深入了解汽车和航空航天控制系统的设计时行为。最终,这次远征有望提供重要的工具,使医疗保健研究人员能够发现更好的疾病治疗方法,并使工程师能够建造更安全的飞机和其他复杂的系统。世界一流的科学家和工程师团队为这次远征集结,包括两名图灵奖获得者,一名国家科学奖章获得者,以及其他著名研究奖项的获得者。拓展包括开发一个新的,雄心勃勃的,高度跨学科的教育项目,称为复杂系统科学工程,每年在纽约市立大学雷曼学院举办一次以少数民族为中心的本科生理解和分析复杂嵌入式和生物系统的间歇研讨会;为本科生研究提供大量资金支持;学生参与NASA喷气推进实验室研究附属项目;为本科生、研究生和博士后学员提供其他研究机会。更多信息:http://www.mcai2.org/

项目成果

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

Scott Smolka其他文献

Scott Smolka的其他文献

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

{{ truncateString('Scott Smolka', 18)}}的其他基金

CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
CPS:前沿:协作研究:医疗网络物理系统的组合、近似和定量推理
  • 批准号:
    1446832
  • 财政年份:
    2015
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Continuing Grant
2014 CPS Medical Devices Workshop Travel Support
2014年CPS医疗器械研讨会差旅支持
  • 批准号:
    1430010
  • 财政年份:
    2014
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Closed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models
使用心脏电生理模型对 ICD 进行闭环形式验证
  • 批准号:
    1445770
  • 财政年份:
    2014
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Continuing Grant
LMC: A System for the Specification and Evaluation of Logic-Based Model Checking
LMC:基于逻辑的模型检查的规范和评估系统
  • 批准号:
    9705998
  • 财政年份:
    1997
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Continuing Grant
Practical Techniques for the Design, Specification, Verification, and Implementation of Concurrent Systems
并发系统设计、规范、验证和实现的实用技术
  • 批准号:
    9505562
  • 财政年份:
    1996
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
CONCUR '95 - Sixth International Conference on Concurrency Theory; University of Pennsylvania; Philadelphia, PA; August 21-24, 1995
CONCUR 95 - 第六届并发理论国际会议;
  • 批准号:
    9529068
  • 财政年份:
    1995
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
CONCUR '93 - Fourth International Conference on Concurrency Theory; August 23-26, 1993; Germany
CONCUR 93 - 第四届并发理论国际会议;
  • 批准号:
    9311650
  • 财政年份:
    1993
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Algebraic Reasoning for Probabilistic and Real-Time Concurrent Systems
概率和实时并发系统的代数推理
  • 批准号:
    9208585
  • 财政年份:
    1992
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Continuing Grant
Concur '92--Third International Conference on Concurrency Theory in Stony Brook, NY on August 24-27, 1992
Concur 92——1992 年 8 月 24-27 日在纽约州石溪举行的第三届并发理论国际会议
  • 批准号:
    9201450
  • 财政年份:
    1992
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Livelock, Lockout, and Liveness in Networks of CommunicatingFinite-State Processes
通信有限状态过程网络中的活锁、锁定和活跃性
  • 批准号:
    8505873
  • 财政年份:
    1985
  • 资助金额:
    $ 185.83万
  • 项目类别:
    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: Constraining next generation Cascadia earthquake and tsunami hazard scenarios through integration of high-resolution field data and geophysical models
合作研究:通过集成高分辨率现场数据和地球物理模型来限制下一代卡斯卡迪亚地震和海啸灾害情景
  • 批准号:
    2325311
  • 财政年份:
    2024
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Collaborative Research: EAGER: The next crisis for coral reefs is how to study vanishing coral species; AUVs equipped with AI may be the only tool for the job
合作研究:EAGER:珊瑚礁的下一个危机是如何研究正在消失的珊瑚物种;
  • 批准号:
    2333604
  • 财政年份:
    2024
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Collaborative Research: EAGER: The next crisis for coral reefs is how to study vanishing coral species; AUVs equipped with AI may be the only tool for the job
合作研究:EAGER:珊瑚礁的下一个危机是如何研究正在消失的珊瑚物种;
  • 批准号:
    2333603
  • 财政年份:
    2024
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Collaborative Research: Merging Human Creativity with Computational Intelligence for the Design of Next Generation Responsive Architecture
协作研究:将人类创造力与计算智能相结合,设计下一代响应式架构
  • 批准号:
    2329759
  • 财政年份:
    2024
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Collaborative Research: Constraining next generation Cascadia earthquake and tsunami hazard scenarios through integration of high-resolution field data and geophysical models
合作研究:通过集成高分辨率现场数据和地球物理模型来限制下一代卡斯卡迪亚地震和海啸灾害情景
  • 批准号:
    2325312
  • 财政年份:
    2024
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Collaborative Research: Merging Human Creativity with Computational Intelligence for the Design of Next Generation Responsive Architecture
协作研究:将人类创造力与计算智能相结合,设计下一代响应式架构
  • 批准号:
    2329760
  • 财政年份:
    2024
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Collaborative Research: Constraining next generation Cascadia earthquake and tsunami hazard scenarios through integration of high-resolution field data and geophysical models
合作研究:通过集成高分辨率现场数据和地球物理模型来限制下一代卡斯卡迪亚地震和海啸灾害情景
  • 批准号:
    2325310
  • 财政年份:
    2024
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Collaborative Research: Merging Human Creativity with Computational Intelligence for the Design of Next Generation Responsive Architecture
协作研究:将人类创造力与计算智能相结合,设计下一代响应式架构
  • 批准号:
    2329758
  • 财政年份:
    2024
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Collaborative Research: Citizen CATE Next-Generation 2024 Total Solar Eclipse Experiment, Phase 2
合作研究:Citizen CATE 下一代 2024 年日全食实验,第二阶段
  • 批准号:
    2308306
  • 财政年份:
    2023
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
Collaborative Research: NeTS: Small: Digital Network Twins: Mapping Next Generation Wireless into Digital Reality
合作研究:NeTS:小型:数字网络双胞胎:将下一代无线映射到数字现实
  • 批准号:
    2312138
  • 财政年份:
    2023
  • 资助金额:
    $ 185.83万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了