I-Corps: Translation Potential of a Train Protection System

I-Corps:列车保护系统的转化潜力

基本信息

  • 批准号:
    2414665
  • 负责人:
  • 金额:
    $ 5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2024
  • 资助国家:
    美国
  • 起止时间:
    2024-04-15 至 2025-03-31
  • 项目状态:
    未结题

项目摘要

The broader impact of this I-Corps project is the development of technology that makes increases the economic and ecological benefits of artificial-intelligence-based train control systems without incurring safety risks associated with testing-based quality assurance. The benefits of the technology include improved infrastructure utilization, leading to increased throughput in the existing rail network. Additionally, lower energy consumption has ecological benefits, while increased efficiency makes transportation cheaper. The underlying technology of safe learning inside a verified control envelope can be generalized to other systems like cars and robots.This I-Corps project utilizes experiential learning coupled with a first-hand investigation of the industry ecosystem to assess the translation potential of the technology. This solution is based on the development of a verified train protection system. Train protection systems safeguard railroad operations by keeping motion within a safe envelope. These systems decide when to slow trains down to avoid collisions with other trains, stay inside movement authorities, and navigate slopes, curves, and tunnels safely. The technology is a train protection system that is formally verified, meaning that it is mathematically proven to be safe, with computer-checked proofs, ensuring high levels of safety and reliability. The current approach to ensuring train software reliability is to run extensive tests and simulations. However, these methods can check only a finite number of scenarios out of the infinite possibilities, forcing conservative engineering decisions. In contrast, these proofs give a stronger guarantee of correctness by checking safety in many more possible cases. The resulting verified train protection system technology provides a safe path to deploy new technologies.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.
I-Corps项目的更广泛影响是开发技术,增加基于人工智能的列车控制系统的经济和生态效益,而不会产生与基于测试的质量保证相关的安全风险。该技术的好处包括提高基础设施利用率,从而增加现有铁路网络的吞吐量。此外,较低的能源消耗具有生态效益,而提高效率则使运输成本更低。经过验证的控制包络内的安全学习的底层技术可以推广到其他系统,如汽车和机器人。这个I-Corps项目利用体验式学习,结合对行业生态系统的第一手调查,评估该技术的转化潜力。该解决方案基于经过验证的列车保护系统的开发。列车保护系统通过将运动保持在安全范围内来保护铁路运营。这些系统决定列车何时减速以避免与其他列车相撞,保持在运行当局内部,并安全地在斜坡,弯道和隧道中行驶。该技术是一种经过正式验证的列车保护系统,这意味着它在数学上被证明是安全的,并通过计算机检查证明,确保高水平的安全性和可靠性。目前确保列车软件可靠性的方法是进行广泛的测试和模拟。然而,这些方法只能检查无限可能性中的有限数量的场景,迫使保守的工程决策。相比之下,这些证明通过在更多可能的情况下检查安全性来提供更强的正确性保证。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

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

Stefan Mitsch其他文献

Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars
慢下来,让路:自动驾驶汽车责任敏感安全模型的形式验证、细化和测试案例研究
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Megan Strauss;Stefan Mitsch
  • 通讯作者:
    Stefan Mitsch
Large-Scale Industrial Positioning and Location Tracking Are We There Yet?
大规模工业定位和位置跟踪我们已经实现了吗?
Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles
自动驾驶汽车安全且有弹性的实用航路点跟踪
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    3
  • 作者:
    Qin Lin;Stefan Mitsch;André Platzer;J. Dolan
  • 通讯作者:
    J. Dolan
Change and Delay Contracts for Hybrid System Component Verification
混合系统组件验证的变更和延迟合同
Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces
经过联邦铁路管理局列车运动学模型验证的列车控制器:平衡竞争性制动和履带力

Stefan Mitsch的其他文献

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

{{ truncateString('Stefan Mitsch', 18)}}的其他基金

Collaborative Research: FMitF: Track I: A Formal Verification and Implementation Stack for Programmable Logic Controllers
合作研究:FMitF:第一轨:可编程逻辑控制器的形式验证和实现堆栈
  • 批准号:
    2220311
  • 财政年份:
    2022
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant

相似海外基金

I-Corps: Translation Potential of a Secure Data Platform Empowering Artificial Intelligence Assisted Digital Pathology
I-Corps:安全数据平台的翻译潜力,赋能人工智能辅助数字病理学
  • 批准号:
    2409130
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
I-Corps: Translation Potential of Mechanically Compliant Fracture Fixation Plates for Long Bone Fractures
I-Corps:用于长骨骨折的机械顺应性骨折固定板的平移潜力
  • 批准号:
    2410029
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
I-Corps: Translation Potential of Rapid In-situ Forming Gel for Local Gene Delivery
I-Corps:快速原位形成凝胶用于局部基因传递的转化潜力
  • 批准号:
    2410778
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
I-Corps: Translation potential of 3D electronics manufacturing by integrated 3D printing and freeform laser induction
I-Corps:通过集成 3D 打印和自由形式激光感应实现 3D 电子制造的转化潜力
  • 批准号:
    2412186
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
I-Corps: Translation potential of a tampon-like menstrual cup and applicator system
I-Corps:卫生棉条状月经杯和涂抹器系统的翻译潜力
  • 批准号:
    2413962
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
I-Corps: Translation potential of stereolithography 3D printing to create soft elastomers
I-Corps:立体光刻 3D 打印制造软弹性体的转化潜力
  • 批准号:
    2414710
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
I-Corps: Translation Potential of Head Impact Monitoring with Embedded Sensor Technology in Sports Helmets
I-Corps:运动头盔中嵌入式传感器技术的头部碰撞监测的转化潜力
  • 批准号:
    2416207
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
I-Corps: Translation potential of learning engagement and assessment programs in multi-person virtual reality
I-Corps:多人虚拟现实中学习参与和评估项目的翻译潜力
  • 批准号:
    2417857
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
I-Corps: Translation Potential of a High Throughput Drug Discovery Platform for Protein Degraders
I-Corps:蛋白质降解剂高通量药物发现平台的转化潜力
  • 批准号:
    2419488
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
I-Corps: Translation Potential of an Objective and Customizable Concussion Assessment and Rehabilitation Tool for Specialized Populations
I-Corps:针对特殊人群的客观且可定制的脑震荡评估和康复工具的转化潜力
  • 批准号:
    2348910
  • 财政年份:
    2024
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了