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项目利用体验式学习和对行业生态系统的第一手调查来评估该技术的翻译潜力。该解决方案基于经过验证的列车保护系统的开发。列车保护系统通过将运动保持在安全范围内来保护铁路运行。这些系统决定何时让列车减速以避免与其他列车相撞,保持在运动当局的范围内,并安全地通过斜坡、弯道和隧道。该技术是一种经过正式验证的列车保护系统,这意味着它在数学上被证明是安全的,并有计算机检查的证明,确保了高度的安全性和可靠性。目前确保列车软件可靠性的方法是进行大量的测试和模拟。然而,这些方法只能从无限的可能性中检查有限数量的场景,迫使保守的工程决策。相比之下,这些证明通过在更多可能的情况下检查安全性,为正确性提供了更强的保证。由此验证的列车保护系统技术为部署新技术提供了安全途径。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(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?
大规模工业定位和位置跟踪我们已经实现了吗?
- DOI:
10.1109/icmb.2008.27 - 发表时间:
2008 - 期刊:
- 影响因子:0
- 作者:
W. Kurschl;W. Gottesheim;Stefan Mitsch;R. Prokop;J. Schonbock;W. Beer - 通讯作者:
W. Beer
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
混合系统组件验证的变更和延迟合同
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
A. Müller;Stefan Mitsch;W. Retschitzegger;W. Schwinger;André Platzer - 通讯作者:
André Platzer
Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces
经过联邦铁路管理局列车运动学模型验证的列车控制器:平衡竞争性制动和履带力
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:2.9
- 作者:
Aditi Kabra;Stefan Mitsch;André Platzer - 通讯作者:
André Platzer
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 an Objective and Customizable Concussion Assessment and Rehabilitation Tool for Specialized Populations
I-Corps:针对特殊人群的客观且可定制的脑震荡评估和康复工具的转化潜力
- 批准号:
2348910 - 财政年份:2024
- 资助金额:
$ 5万 - 项目类别:
Standard Grant
I-Corps: Translation Potential of Cellulose-Nanofiber-Based Surface Agents for Enhancing Bioactive Filtration Efficiency
I-Corps:纤维素纳米纤维基表面剂在提高生物活性过滤效率方面的转化潜力
- 批准号:
2401619 - 财政年份:2024
- 资助金额:
$ 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