中文
相关论文

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

200 篇论文

The rapid adoption of autonomous vehicle has established mixed traffic environments, comprising both autonomous and human-driven vehicles (HDVs), as essential components of next-generation mobility systems. Along these lines, connectivity…

系统与控制 · 电气工程与系统科学 2025-06-19 Filippos Tzortzoglou , Logan E. Beaver

To ensure their safe use, autonomous vehicles (AVs) must meet rigorous certification criteria that involve executing maneuvers safely within (arbitrary) scenarios where other actors perform their intended maneuvers. For that purpose,…

软件工程 · 计算机科学 2026-05-27 Aren A. Babikian , Attila Ficsor , Oszkár Semeráth , Gunter Mussbacher , Dániel Varró

Security of (semi)-autonomous vehicles is a growing concern, first, due to the increased exposure of the functionality to the potential attackers; second, due to the reliance of car functionalities on diverse (semi)-autonomous systems;…

密码学与安全 · 计算机科学 2018-10-02 Anupam Chattopadhyay , Kwok-Yan Lam

Traffic congestion and violations pose significant challenges for urban mobility and road safety. Traditional traffic monitoring systems, such as fixed cameras and sensor-based methods, are often constrained by limited coverage, low…

计算机视觉与模式识别 · 计算机科学 2025-09-08 Ali Khanpour , Tianyi Wang , Afra Vahidi-Shams , Wim Ectors , Farzam Nakhaie , Amirhossein Taheri , Christian Claudel

Using Deep Reinforcement Learning (DRL) can be a promising approach to handle various tasks in the field of (simulated) autonomous driving. However, recent publications mainly consider learning in unusual driving environments. This paper…

人工智能 · 计算机科学 2018-04-04 Patrick Klose , Rudolf Mester

Most autonomous robotic agents use logic inference to keep themselves to safe and permitted behaviour. Given a set of rules, it is important that the robot is able to establish the consistency between its rules, its perception-based…

机器人学 · 计算机科学 2016-11-11 Hongyang Qu , Sandor M. Veres

Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines. In the area of automated vehicles, recent advances suggest the ability to formalize…

人工智能 · 计算机科学 2022-07-06 Lukas Westhofen , Christian Neurohr , Martin Butz , Maike Scholtes , Michael Schuldes

Virtual Traffic Light (VTL) is a traffic control method that does not require traffic signal-related infrastructure for roadway intersections. Connected vehicles (CVs) are given right-of-way based on prevailing traffic conditions, such as…

其他计算机科学 · 计算机科学 2025-06-06 Abyad Enan , M Sabbir Salek , Mashrur Chowdhury , Gurcan Comert , Sakib M. Khan , Reek Majumder

The tremendous hype around autonomous driving is eagerly calling for emerging and novel technologies to support advanced mobility use cases. As car manufactures keep developing SAE level 3+ systems to improve the safety and comfort of…

The steady increase in the number of vehicles operating on the highways continues to exacerbate congestion, accidents, energy consumption, and greenhouse gas emissions. Emerging mobility systems, e.g., connected and automated vehicles…

系统与控制 · 电气工程与系统科学 2022-06-13 Sai Krishna Sumanth Nakka , Behdad Chalaki , Andreas Malikopoulos

Ethical dilemmas are a common challenge in everyday driving, requiring human drivers to balance competing priorities such as safety, efficiency, and rule compliance. However, much of the existing research in automated vehicles (AVs) has…

系统与控制 · 电气工程与系统科学 2025-08-01 Lucas Elbert Suryana , Saeed Rahmani , Simeon Craig Calvert , Arkady Zgonnikov , Bart van Arem

Recently, safe reinforcement learning (RL) with the actor-critic structure for continuous control tasks has received increasing attention. It is still challenging to learn a near-optimal control policy with safety and convergence…

机器学习 · 计算机科学 2024-02-06 Xinglong Zhang , Yaoqian Peng , Biao Luo , Wei Pan , Xin Xu , Haibin Xie

The viability of automated driving is heavily dependent on the performance of perception systems to provide real-time accurate and reliable information for robust decision-making and maneuvers. These systems must perform reliably not only…

计算机视觉与模式识别 · 计算机科学 2026-02-03 Apostol Vassilev , Munawar Hasan , Edward Griffor , Honglan Jin , Pavel Piliptchak , Mahima Arora , Thoshitha Gamage

With increasing automation in passenger vehicles, the study of safe and smooth occupant-vehicle interaction and control transitions is key. In this study, we focus on the development of contextual, semantically meaningful representations of…

机器人学 · 计算机科学 2021-07-26 Akshay Rangesh , Nachiket Deo , Ross Greer , Pujitha Gunaratne , Mohan M. Trivedi

Autonomous vehicles (AVs) enable more efficient and sustainable transportation systems. Ample studies have shown that controlling a small fraction of AVs can smooth traffic flow and mitigate traffic congestion. However, deploying AVs in…

系统与控制 · 电气工程与系统科学 2023-10-12 Sirui Li , Roy Dong , Cathy Wu

Data-driven simulation has become a favorable way to train and test autonomous driving algorithms. The idea of replacing the actual environment with a learned simulator has also been explored in model-based reinforcement learning in the…

机器人学 · 计算机科学 2023-09-29 Zhejun Zhang , Alexander Liniger , Dengxin Dai , Fisher Yu , Luc Van Gool

The rapid development of robotics has benefited by more and more people putting their attention to it. With the demand for robots is growing for the purpose of fulfilling tasks instead of humans, how to control the robot better is becoming…

系统与控制 · 电气工程与系统科学 2022-08-23 Yang Zhang

In this article, we explore the technical details of the reinforcement learning (RL) algorithms that were deployed in the largest field test of automated vehicles designed to smooth traffic flow in history as of 2023, uncovering the…

We develop an algorithm for the motion and task planning of a system comprised of multiple robots and unactuated objects under tasks expressed as Linear Temporal Logic (LTL) constraints. The robots and objects evolve subject to uncertain…

系统与控制 · 电气工程与系统科学 2022-04-26 Christos K. Verginis , Yiannis Kantaros , Dimos V. Dimarogonas

Safe and smooth interacting with other vehicles is one of the ultimate goals of driving automation. However, recent reports of demonstrative deployments of automated vehicles (AVs) indicate that AVs are still difficult to meet the…

系统与控制 · 电气工程与系统科学 2022-05-11 Daofei Li , Ao Liu , Hao Pan , Wentao Chen