Collaborative Research: CPS: Medium: Sharing the World with Autonomous Systems: What Goes Wrong and How to Fix It
Collaborative Research: CPS: Medium: Sharing the World with Autonomous Systems: What Goes Wrong and How to Fix It
批准号:
2211141
负责人:
Tichakorn Wongpiromsarn
金额:
$59.99万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2022
资助国家:
美国
项目状态:
未结题
起止时间:
2022-06-15 至 2025-05-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
As autonomous systems start to operate in open, uncontrolled environments alongside humans, safety becomes a major concern. In applications in which human-operated systems and autonomous systems are in close interaction, the heterogeneity causes different agents to exhibit different behaviors under the same situation due to the differences in how they see the world and make decisions. For example, autonomous vehicles tend to be more conservative than average human drivers, leading to instances of confusion and frustration of human drivers when encountering an autonomous vehicle. As a result, understanding the effects of inconsistencies among interacting agents on the overall system is critical for the adoption and acceptance of autonomous systems.This project aims to develop novel algorithms that will quantitatively and succinctly characterize the sources and effects of inconsistencies in perception and decision-making among the interacting agents. Based on this characterization, the project will develop efficient synthesis algorithms for autonomous systems to actively identify the inconsistencies and influence the behaviors of the other agents to improve the safety of the overall system. A key innovation lies in a rigorous approach integrating probabilistic formal methods, games on graphs, joint perception and planning, and convex optimization. While the resulting algorithms will be applicable to a wide range of cyber-physical systems, demonstrations will leverage an experimental platform in which autonomous vehicles interact with each other as well as human-controlled vehicles in mockup urban environments. The project will likewise promote outreach to industry, regulatory agencies, and the broader cyber-physical system (CPS) community through technical short courses. All educational material, demonstrations and software generated by the project will be shared publicly.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.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
Formal Methods for Autonomous Systems
自治系统的形式化方法
DOI:
10.1561/2600000029
发表时间:
2023
期刊:
Foundations and Trends® in Systems and Control
影响因子:
--
作者:
[Wongpiromsarn, Tichakorn, Ghasemi, Mahsa, Cubuktepe, Murat, Bakirtzis, Georgios, Carr, Steven, Karabag, Mustafa O., Neary, Cyrus, Gohari, Parham, Topcu, Ufuk]
通讯作者:
Topcu, Ufuk
CAREER: Establishing correctness of learning-enabled autonomous systems with conflicting requirements
-
批准号:2141153
-
项目类别:Continuing Grant
-
资助金额:$50.24万
-
财政年份:2022
-
负责人:Tichakorn Wongpiromsarn
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: