中文
相关论文

相关论文: STCLocker: Deadlock Avoidance Testing for Autonomo…

200 篇论文

The rapid progress of autonomous vehicles~(AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safety validation through large-scale testing. Multiple…

软件工程 · 计算机科学 2024-04-16 Huijia Sun , Christopher M. Poskitt , Yang Sun , Jun Sun , Yuqi Chen

Existing intelligent driving technology often has a problem in balancing smooth driving and fast obstacle avoidance, especially when the vehicle is in a non-structural environment, and is prone to instability in emergency situations.…

机器人学 · 计算机科学 2022-08-02 Yitian Wang , Jun Lin , Liu Zhang , Tianhao Wang , Hao Xu , Guanyu Zhang , Yang Liu

As vehicle automation advances, motion planning algorithms face escalating challenges in achieving safe and efficient navigation. Existing Advanced Driver Assistance Systems (ADAS) primarily focus on basic tasks, leaving unexpected…

Autonomous driving systems (ADS) have been an active area of research, with the potential to deliver significant benefits to society. However, before large-scale deployment on public roads, extensive testing is necessary to validate their…

软件工程 · 计算机科学 2025-08-28 Qunying Song , He Ye , Mark Harman , Federica Sarro

The Detector Safety System (DSS), currently being developed at CERN under the auspices of the Joint Controls Project (JCOP), will be responsible for assuring the protection of equipment for the four LHC experiments. Thus, the DSS will…

高能物理 - 实验 · 物理学 2007-05-23 S. Lueders , R. B. Flockhart , G. Morpurgo , S. M. Schmeling

Autonomous vehicles (AVs) require extensive testing in simulation, but test case generation for driving scenarios is laborious. The desired scenarios are often out-of-distribution and have precise requirements on interactions with the AV…

机器人学 · 计算机科学 2026-05-11 Frieda Rong , Chris Zhang , Kelvin Wong , Raquel Urtasun

Autonomous vehicle (AV) stacks are typically built in a modular fashion, with explicit components performing detection, tracking, prediction, planning, control, etc. While modularity improves reusability, interpretability, and…

机器人学 · 计算机科学 2022-12-14 Peter Karkus , Boris Ivanovic , Shie Mannor , Marco Pavone

The rapid advancements of Internet of Things (IoT) and artificial intelligence (AI) have catalyzed the development of adaptive traffic signal control systems (ATCS) for smart cities. In particular, deep reinforcement learning (DRL) methods…

机器学习 · 计算机科学 2021-11-05 Ao Qu , Yihong Tang , Wei Ma

The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the modeling of ADS by combining descriptions of their static…

多智能体系统 · 计算机科学 2022-05-23 Marius Bozga , Joseph Sifakis

Scenario-based testing is a key method for cost-effective and safe validation of autonomous vehicles (AVs). Existing approaches rely on imperative scenario definitions, requiring developers to manually enumerate numerous variants to achieve…

软件工程 · 计算机科学 2026-03-31 Ezio Bartocci , Alessio Gambi , Felix Gigler , Cristinel Mateis , Dejan Ničković

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

Autonomous driving systems (ADSs) must be tested thoroughly before they can be deployed in autonomous vehicles. High-fidelity simulators allow them to be tested against diverse scenarios, including those that are difficult to recreate in…

软件工程 · 计算机科学 2023-01-09 Yang Sun , Christopher M. Poskitt , Jun Sun , Yuqi Chen , Zijiang Yang

This research introduces an innovative method for adaptive traffic signal control (ATSC) through the utilization of multi-objective deep reinforcement learning (DRL) techniques. The proposed approach aims to enhance control strategies at…

机器学习 · 计算机科学 2024-08-05 Shahin Mirbakhsh , Mahdi Azizi

Agile system development life cycle (SDLC) focuses on typical functional and non-functional system requirements for developing traditional software systems. However, Artificial Intelligent (AI) systems are different in nature and have…

软件工程 · 计算机科学 2025-01-20 Asif Q. Gill

Sampling critical testing scenarios is an essential step in intelligence testing for Automated Vehicles (AVs). However, due to the lack of prior knowledge on the distribution of critical scenarios in sampling space, we can hardly…

机器人学 · 计算机科学 2024-05-03 Jingwei Ge , Pengbo Wang , Cheng Chang , Yi Zhang , Danya Yao , Li Li

Simulation-based testing of autonomous driving systems (ADS) must uncover realistic and diverse failures in dense, heterogeneous traffic. However, existing search-based seeding methods (e.g., genetic algorithms) struggle in high-dimensional…

软件工程 · 计算机科学 2026-04-22 Linfeng Liang , Xiao Cheng , Tsong Yueh Chen , Xi Zheng

Ensuring Service Level Objectives (SLOs) in large-scale architectures, such as Distributed Computing Continuum Systems (DCCS), is challenging due to their heterogeneous nature and varying service requirements across different devices and…

分布式、并行与集群计算 · 计算机科学 2025-08-22 Alfreds Lapkovskis , Boris Sedlak , Sindri Magnússon , Schahram Dustdar , Praveen Kumar Donta

Testing and evaluation is a critical step in the development and deployment of connected and automated vehicles (CAVs), and yet there is no systematic framework to generate testing scenario library. This study aims to provide a general…

系统与控制 · 计算机科学 2020-09-30 Shuo Feng , Yiheng Feng , Chunhui Yu , Yi Zhang , Henry X. Liu

Simulation platforms facilitate the development of emerging Cyber-Physical Systems (CPS) like self-driving cars (SDC) because they are more efficient and less dangerous than field operational test cases. Despite this, thoroughly testing…

软件工程 · 计算机科学 2022-12-12 Christian Birchler , Sajad Khatiri , Bill Bosshard , Alessio Gambi , Sebastiano Panichella

In human-robot collaboration (HRC), software-based automatic safety controllers (ASCs) are used in various forms (e.g. shutdown mechanisms, emergency brakes, interlocks) to improve operational safety. Complex robotic tasks and increasingly…

机器人学 · 计算机科学 2025-03-21 Mario Gleirscher , Radu Calinescu