中文
相关论文

相关论文: Towards a Digital Highway Code using Formal Modell…

200 篇论文

Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a multilevel semantic framework for the specification of ADS and…

多智能体系统 · 计算机科学 2021-09-15 Marius Bozga , Joseph Sifakis

Currently, we are in an environment where the fraction of automated vehicles is negligibly small. We anticipate that this fraction will increase in coming decades before if ever, we have a fully automated transportation system. Motivated by…

系统与控制 · 计算机科学 2018-10-16 Xi Liu , Ke Ma , P. R. Kumar

Despite the presence of the classification task in many different benchmark datasets for perception in the automotive domain, few efforts have been undertaken to define consistent classification requirements. This work addresses the topic…

计算机视觉与模式识别 · 计算机科学 2023-07-27 Ken T. Mori , Trent Brown , Steven Peters

Given the rapid advance in ITS technologies, future mobility is pointing to vehicular autonomy. However, there is still a long way before full automation, and human intervention is required. This work sheds light on understanding human…

人机交互 · 计算机科学 2023-12-05 Zheng Xu

The last decades have witnessed the breakthrough of autonomous vehicles (AVs), and the perception capabilities of AVs have been dramatically improved. Various sensors installed on AVs, including, but are not limited to, LiDAR, radar, camera…

信号处理 · 电气工程与系统科学 2019-10-08 Wei Ma , Sean Qian

The autonomous car technology promises to replace human drivers with safer driving systems. But although autonomous cars can become safer than human drivers this is a long process that is going to be refined over time. Before these vehicles…

人工智能 · 计算机科学 2018-05-09 Thomio Watanabe , Denis Wolf

Autonomous agents are increasingly being proposed for use in healthcare, assistive care, education, and other applications governed by complex human-centric norms. To ensure compliance with these norms, the rules they induce need to be…

软件工程 · 计算机科学 2023-07-10 Sinem Getir Yaman , Ana Cavalcanti , Radu Calinescu , Colin Paterson , Pedro Ribeiro , Beverley Townsend

Existing safety assurance approaches for autonomous vehicles (AVs) perform system-level safety evaluation by placing the AV-under-test in challenging traffic scenarios captured by abstract scenario specifications and investigated in…

软件工程 · 计算机科学 2024-10-14 Aren A. Babikian , Oszkár Semeráth , Dániel Varró

Traffic regulation must be respected by all vehicles, either human- or computer- driven. However, extreme traffic situations might exhibit practical cases in which a vehicle should safely and reasonably relax traffic regulation, e.g., in…

人工智能 · 计算机科学 2012-12-05 Philippe Morignot , Fawzi Nashashibi

Earlier work has established a decentralized optimal control framework for coordinating online a continuous flow of connected automated vehicles (CAVs) entering a control zone and crossing two adjacent intersections in an urban area. A…

最优化与控制 · 数学 2017-02-21 Yue Zhang , Christos G. Cassandras , Andreas A. Malikopoulos

Automated vehicles (AVs) face a critical need to adopt socially compatible behaviors and cooperate effectively with human-driven vehicles (HVs) in heterogeneous traffic environment. However, most existing lane-changing frameworks overlook…

机器人学 · 计算机科学 2025-07-15 Jie Pan , Tianyi Wang , Yangyang Wang , Junfeng Jiao , Christian Claudel

Trust is essential for automated vehicles (AVs) to promote and sustain technology acceptance in human-dominated traffic scenarios. However, computational trust dynamic models describing the interactive relationship between the AVs and…

系统与控制 · 电气工程与系统科学 2022-08-09 Mehmet Fatih Ozkan , Yao Ma

Autonomous Vehicles (AVs), furnished with sensors capable of capturing essential vehicle dynamics such as speed, acceleration, and precise location, possess the capacity to execute intelligent maneuvers, including lane changes, in…

机器学习 · 计算机科学 2024-06-28 Emanuel Figetakis , Yahuza Bello , Ahmed Refaey , Abdallah Shami

Ensuring the functional safety of motion planning modules in autonomous vehicles remains a critical challenge, especially when dealing with complex or learning-based software. Online verification has emerged as a promising approach to…

机器人学 · 计算机科学 2025-07-11 Korbinian Moller , Rafael Neher , Marvin Seegert , Johannes Betz

Designing reliable decision strategies for autonomous urban driving is challenging. Reinforcement learning (RL) has been used to automatically derive suitable behavior in uncertain environments, but it does not provide any guarantee on the…

机器人学 · 计算机科学 2019-05-31 Maxime Bouton , Jesper Karlsson , Alireza Nakhaei , Kikuo Fujimura , Mykel J. Kochenderfer , Jana Tumova

To build a smarter and safer city, a secure, efficient, and sustainable transportation system is a key requirement. The autonomous driving system (ADS) plays an important role in the development of smart transportation and is considered one…

计算机视觉与模式识别 · 计算机科学 2024-09-25 Abu Shad Ahammed , Md Shahi Amran Hossain , Roman Obermaisser

The continuous expansion of the urban traffic sensing infrastructure has led to a surge in the volume of widely available road related data. Consequently, increasing effort is being dedicated to the creation of intelligent transportation…

神经与进化计算 · 计算机科学 2020-02-17 Alina Patelli , Victoria Lush , Aniko Ekart , Elisabeth Ilie-Zudor

Despite the recent advancements in artificial intelligence technologies have shown great potential in improving transport efficiency and safety, autonomous vehicles(AVs) still face great challenge of driving in time-varying traffic flow,…

人工智能 · 计算机科学 2025-06-18 Xiao Wang , Junru Yu , Jun Huang , Qiong Wu , Ljubo Vacic , Changyin Sun

Autonomous vehicles need to handle various traffic conditions and make safe and efficient decisions and maneuvers. However, on the one hand, a single optimization/sampling-based motion planner cannot efficiently generate safe trajectories…

机器人学 · 计算机科学 2021-06-10 Jinning Li , Liting Sun , Jianyu Chen , Masayoshi Tomizuka , Wei Zhan

As autonomous vehicles (AVs) are increasingly deployed on public roads, understanding their real-world behaviors is critical for traffic safety analysis and regulatory oversight. However, many data-driven methods lack interpretability and…

机器人学 · 计算机科学 2026-03-24 Xiangyu Li , Tianyi Wang , Junfeng Jiao , Christian Claudel , Zhaomiao Guo