中文
相关论文

相关论文: Assessing Safety-Critical Systems from Operational…

200 篇论文

Scenario-based approaches have been receiving a huge amount of attention in research and engineering of automated driving systems. Due to the complexity and uncertainty of the driving environment, and the complexity of the driving task…

Each new concept of operation and equipment generation in aviation becomes more automated, integrated and interconnected. In the case of Unmanned Aircraft Systems (UAS), this evolution allows drastically decreasing aircraft weight and…

Autonomous electric vehicles (AEVs) hold great promise for the future of automotive engineering, but safety remains a significant challenge in their development and commercialization. Therefore, conducting a comprehensive analysis of AEV…

系统与控制 · 电气工程与系统科学 2023-06-21 Qasim Ajao , Olukotun Oludamilare

The widescale deployment of Autonomous Vehicles (AV) seems to be imminent despite many safety challenges that are yet to be resolved. It is well known that there are no universally agreed Verification and Validation (VV) methodologies to…

机器人学 · 计算机科学 2020-03-05 Dhanoop Karunakaran , Stewart Worrall , Eduardo Nebot

Recent transportation research highlights the potential of autonomous vehicles (AV) to improve traffic flow mobility as they are able to maintain smaller car-following distances. However, as a unique class of ground robots, AVs are…

机器人学 · 计算机科学 2025-07-09 Hangyu Li , Xiaotong Sun , Chenglin Zhuang , Xiaopeng Li

The tremendous excitement around the deployment of autonomous vehicles (AVs) comes from their purported promise. In addition to decreasing accidents, AVs are projected to usher in a new era of equity in human autonomy by providing…

计算机与社会 · 计算机科学 2022-08-04 A. Feder Cooper , Karen Levy

Autonomous vehicles (AVs) are being rapidly introduced into our lives. However, public misunderstanding and mistrust have become prominent issues hindering the acceptance of these driverless technologies. The primary objective of this study…

人机交互 · 计算机科学 2023-02-20 Zhijie Qiao , Helen Loeb , Venkata Gurrla , Matt Lebermann , Johannes Betz , Rahul Mangharam

Autonomous driving systems (ADSs) must be sufficiently tested to ensure their safety. Though various ADS testing methods have shown promising results, they are limited to a fixed set of vehicle characteristics settings (VCSs). The impact of…

软件工程 · 计算机科学 2023-11-27 Qi Pan , Tiexin Wang , Paolo Arcaini , Tao Yue , Shaukat Ali

Connected Autonomous Vehicles (CAVs) operate in dynamic, open, and multi-domain networks, rendering them vulnerable to various threats. Trust Management Systems (TMS) systematically organize essential steps in the trust mechanism,…

人工智能 · 计算机科学 2025-05-14 Qian Xu , Lei Zhang , Yixiao Liu

Autonomous Vehicles (AVs) are increasingly embraced around the world to advance smart mobility and more broadly, smart, and sustainable cities. Algorithms form the basis of decision-making in AVs, allowing them to perform driving tasks…

计算机与社会 · 计算机科学 2019-10-30 Hazel Si Min Lim , Araz Taeihagh

The design of embedded safety-critical systems such as those used in next-generation automotive and autonomous platforms, is increasingly challenged by escalating system complexity, hardware-software heterogeneity, and the integration of…

We present recent advances in formal verification and control for autonomous systems with practical safety guarantees enabled by conformal prediction (CP), a statistical tool for uncertainty quantification. This survey is particularly…

系统与控制 · 电气工程与系统科学 2025-08-19 Lars Lindemann , Yiqi Zhao , Xinyi Yu , George J. Pappas , Jyotirmoy V. Deshmukh

Personal autonomous vehicles are cars, trucks and bikes capable of sensing their surrounding environment, planning their route, and driving with little or no involvement of human drivers. Despite the impressive technological achievements…

Various automobile and mobility companies, for instance Ford, Uber and Waymo, are currently testing their pre-produced autonomous vehicle (AV) fleets on the public roads. However, due to rareness of the safety-critical cases and,…

机器人学 · 计算机科学 2018-09-11 Mansur Arief , Peter Glynn , Ding Zhao

The safety of autonomous vehicles (AVs) depends on their ability to perform complex computations on high-volume sensor data in a timely manner. Their ability to run these computations with state-of-the-art models is limited by the…

机器人学 · 计算机科学 2023-08-08 Peter Schafhalter , Sukrit Kalra , Le Xu , Joseph E. Gonzalez , Ion Stoica

Autonomous Vehicles (AVs) have emerged as a promising solution by replacing human drivers with advanced computer-aided decision-making systems. However, for AVs to effectively navigate the road, they must possess the capability to predict…

机器学习 · 计算机科学 2023-07-18 Vibha Bharilya , Neetesh Kumar

With the rapid development of Connected and Automated Vehicle (CAV) technology, limited self-driving vehicles have been commercially available in certain leading intelligent transportation system countries. When formulating the…

系统与控制 · 电气工程与系统科学 2023-05-30 Dianchao Lin , Li Li

A growing number of vehicles are being transformed into semi-autonomous vehicles (Level 2 autonomy) by relying on advanced driver assistance systems (ADAS) to improve the driving experience. However, the increasing complexity and…

软件工程 · 计算机科学 2022-07-06 Xugui Zhou , Anna Schmedding , Haotian Ren , Lishan Yang , Philip Schowitz , Evgenia Smirni , Homa Alemzadeh

Establishing trustworthy safety assurance for autonomous driving systems (ADSs) requires evidence that failures arise from avoidable system deficiencies rather than unavoidable traffic conflicts. Current adversarial simulation methods can…

机器人学 · 计算机科学 2026-05-14 Yizhuo Xiao , Haotian Yan , Ying Wang , Zhongpan Zhu , Yuxin Zhang , Xintao Yan , Mustafa Suphi Erden , Cheng Wang

Existing approaches to cyber security and regulation in the automotive sector cannot achieve the quality of outcome necessary to ensure the safe mass deployment of advanced vehicle technologies and smart mobility systems. Without…

密码学与安全 · 计算机科学 2020-07-06 Carsten Maple , Peter Davies , Kerstin Eder , Chris Hankin , Greg Chance , Gregory Epiphaniou