中文
相关论文

相关论文: REDriver: Runtime Enforcement for Autonomous Vehic…

200 篇论文

Self-adaptive systems (SASs) are capable of adjusting its behavior in response to meaningful changes in the operational con-text and itself. The adaptation needs to be performed automatically through self-managed reactions and…

软件工程 · 计算机科学 2017-04-06 Zhuoqun Yang , Zhi Jin , Zhi Li

Automated Driving Systems (ADS) open up a new domain for the automotive industry and offer new possibilities for future transportation with higher efficiency and comfortable experiences. However, autonomous driving under adverse weather…

机器人学 · 计算机科学 2023-01-18 Yuxiao Zhang , Alexander Carballo , Hanting Yang , Kazuya Takeda

Ensuring the safety and reliability of Automated Driving Systems (ADS) remains a critical challenge, as traditional verification methods such as large-scale on-road testing are prohibitively costly and time-consuming.To address…

软件工程 · 计算机科学 2025-12-18 Ji Zhou , Yongqi Zhao , Yixian Hu , Hexuan Li , Zhengguo Gu , Nan Xu , Arno Eichberger

Autonomous vehicles are continually increasing their presence on public roads. However, before any new autonomous driving software can be approved, it must first undergo a rigorous assessment of driving quality. These quality evaluations…

统计方法学 · 统计学 2023-05-18 Maria A. Terres , Aiyou Chen , Ruixuan Rachel Zhou , Claire M. McLeod

Recently, the scientific progress of Advanced Driver Assistance System solutions (ADAS) has played a key role in enhancing the overall safety of driving. ADAS technology enables active control of vehicles to prevent potentially risky…

信号处理 · 电气工程与系统科学 2023-08-07 Francesco Rundo , Concetto Spampinato , Michael Rundo

In autonomous racing, vehicles operate close to the limits of handling and a sensor failure can have critical consequences. To limit the impact of such failures, this paper presents the redundant perception and state estimation approaches…

Parallel trajectory optimization via the Alternating Direction Method of Multipliers (ADMM) has emerged as a scalable approach to long-horizon motion planning. However, existing frameworks typically decompose the problem into parallel…

机器人学 · 计算机科学 2026-04-27 Jiajun Yu , Guodong Liu , Li Wang , Pengxiang Zhou , Wentao Liu , Yin He , Chao Xu , Fei Gao , Yanjun Cao

As Autonomous Driving Systems (ADS) progress towards commercial deployment, there is an increasing focus on ensuring their safety and reliability. While considerable research has been conducted on testing methods for detecting faults in…

软件工程 · 计算机科学 2026-01-09 Nathan Shaw , Sanjeetha Pennada , Robert M Hierons , Donghwan Shin

Transport sector is in the process of being rapidly and fundamentally reshaped by autonomous and collaborative driving technologies. This reshaping promises huge economic and social benefits as well as challenges in terms of developing and…

计算机与社会 · 计算机科学 2018-06-11 Viktoras Kabir Veitas , Simon Delaere

Testing Autonomous Driving Systems (ADSs) is a critical task for ensuring the reliability and safety of autonomous vehicles. Existing methods mainly focus on searching for safety violations while the diversity of the generated test cases is…

软件工程 · 计算机科学 2023-07-17 Mingfei Cheng , Yuan Zhou , Xiaofei Xie

AI/ML-based intrusion detection systems (IDSs) and misbehavior detection systems (MDSs) have shown great potential in identifying anomalies in the network traffic of networked autonomous systems. Despite the vast research efforts, practical…

网络与互联网体系结构 · 计算机科学 2023-05-10 Opeyemi Ajibuwa , Bechir Hamdaoui , Attila A. Yavuz

Reliable detection of various objects and road users in the surrounding environment is crucial for the safe operation of automated driving systems (ADS). Despite recent progresses in developing highly accurate object detectors based on Deep…

计算机视觉与模式识别 · 计算机科学 2024-03-05 Hakan Yekta Yatbaz , Mehrdad Dianati , Konstantinos Koufos , Roger Woodman

Due to the growing awareness of driving safety and the development of sophisticated technologies, advanced driving assistance system (ADAS) has been equipped in more and more vehicles with higher accuracy and lower price. The latest…

人工智能 · 计算机科学 2021-06-24 Xinran Li , Kuo-Yi Lin , Min Meng , Xiuxian Li , Li Li , Yiguang Hong , Jie Chen

Simulation-based testing is a cornerstone of Autonomous Driving System (ADS) development, offering safe and scalable evaluation across diverse driving scenarios. However, discrepancies between simulated and real-world behavior, known as the…

软件工程 · 计算机科学 2025-09-30 Stefano Carlo Lambertenghi , Mirena Flores Valdez , Andrea Stocco

Automotive radar sensors play a key role in the current development of advanced driver assistance systems (ADAS). Their ability to detect objects even under adverse weather conditions makes them indispensable for environment-sensing tasks…

信号处理 · 电气工程与系统科学 2024-10-28 Axel Diewald , Benjamin Nuss , Johannes Galinsky , Thomas Zwick

Complex dynamical systems rely on the correct deployment and operation of numerous components, with state-of-the-art methods relying on learning-enabled components in various stages of modeling, sensing, and control at both offline and…

系统与控制 · 电气工程与系统科学 2021-01-22 Weiming Xiang

Urban transportation of next decade is expected to be disrupted by Autonomous Mobility on Demand (AMoD): AMoD providers will collect ride requests from users and will dispatch a fleet of autonomous vehicles to satisfy requests in the most…

多智能体系统 · 计算机科学 2018-11-07 Andrea Di Maria , Andrea Araldo , Giovanni Morana , Antonella Di Stefano

Developing autonomous driving systems (ADSs) involves generating and storing extensive log data from test drives, which is essential for verification, research, and simulation. However, these high-frequency logs, recorded over varying…

软件工程 · 计算机科学 2025-06-16 Simin Sun , Yuchuan Jin , Miroslaw Staron

This paper investigates runtime monitoring of perception systems. Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving cars. In these applications, failure of perception…

机器人学 · 计算机科学 2022-05-24 Pasquale Antonante , Heath Nilsen , Luca Carlone

Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box system satisfies some desired properties. This paper deals with…

形式语言与自动机理论 · 计算机科学 2016-12-16 Srinivas Pinisetty , Partha S Roop , Steven Smyth , Stavros Tripakis , Reinhard von Hanxleden