中文
相关论文

相关论文: Extending Urban Multi-Lane Spatial Logic to Formal…

200 篇论文

Modern-day autonomous vehicles are increasingly becoming complex multidisciplinary systems composed of mechanical, electrical, electronic, computing and information sub-systems. Furthermore, the individual constituent technologies employed…

机器人学 · 计算机科学 2024-10-22 Chinmay Vilas Samak , Tanmay Vilas Samak , Venkat Krovi

Human drivers naturally balance the risks of different concerns while driving, including traffic rule violations, minor accidents, and fatalities. However, achieving the same behavior in autonomous driving systems remains an open problem.…

系统与控制 · 电气工程与系统科学 2026-03-06 Shuhao Qi , Zengjie Zhang , Zhiyong Sun , Sofie Haesaert

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

Autonomous vehicles (AVs) must be both safe and trustworthy to gain social acceptance and become a viable option for everyday public transportation. Explanations about the system behaviour can increase safety and trust in AVs.…

计算机科学中的逻辑 · 计算机科学 2025-11-19 Dominik Grundt , Ishan Saxena , Malte Petersen , Bernd Westphal , Eike Möhlmann

Autonomous driving has rapidly evolved through synergistic developments in hardware and artificial intelligence. This comprehensive review investigates traffic datasets and simulators as dual pillars supporting autonomous vehicle (AV)…

机器人学 · 计算机科学 2025-08-28 Supriya Sarker , Brent Maples , Iftekharul Islam , Muyang Fan , Christos Papadopoulos , Weizi Li

Localization for autonomous vehicles on highways remains under-explored compared to urban roads, and state-of-the-art methods for urban scenes degrade when directly applied to highways. We identify key challenges including environment…

机器人学 · 计算机科学 2026-04-27 Daqian Cheng , Xuchu Ding , Yujia Wu , Xiang Zhang , Lei Wang

The recent advent of connected and automated vehicles (CAVs) is expected to transform the transportation system. CAV technologies are being developed rapidly and they are foreseen to penetrate the market at a rapid pace. On the other hand,…

计算机与社会 · 计算机科学 2021-11-18 Amjad Dehman , Bilal Farooq

Automated vehicle (AV) platooning has the potential to improve the safety, operational, and energy efficiency of surface transportation systems by limiting or eliminating human involvement in the driving tasks. The theoretical validity of…

Autonomous vehicles (AV) look set to become common on our roads within the next few years. However, to achieve the final breakthrough, not only functional progress is required, but also satisfactory safety assurance must be provided. Among…

机器人学 · 计算机科学 2025-06-04 Peter Popov , Lorenzo Strigini , Cornelius Buerkle , Fabian Oboril , Michael Paulitsch

Road congestion in urban environments, especially near signalized intersections, has been a major cause of significant fuel and time waste. Various solutions have been proposed to solve the problem of increasing idling times and number of…

最优化与控制 · 数学 2018-03-29 Mahmoud Faraj , Baris Fidan , Vincent Gaudet

The effective and safe management of traffic is a key issue due to the rapid advancement of the urban transportation system. Connected autonomous vehicles (CAVs) possess the capability to connect with each other and adjacent infrastructure,…

系统与控制 · 电气工程与系统科学 2025-11-10 Rudra Sen , Subashish Datta

The current research interest in autonomous driving is growing at a rapid pace, attracting great investments from both the academic and corporate sectors. In order for vehicles to be fully autonomous, it is imperative that the driver…

计算机视觉与模式识别 · 计算机科学 2019-05-07 Kai Li Lim , Thomas Bräunl

In this paper, a new model for traffic on roads with multiple lanes is developed, where the vehicles do not adhere to a lane discipline. Assuming identical vehicles, the dynamics is split along two independent directions: the Y-axis…

系统与控制 · 计算机科学 2023-03-02 Rakesh U. Chavan , Debraj Chakraborty , D. Manjunath

Connected autonomous vehicles (CAV) technologies are about to be in the market in the near future. This requires transportation facilities ready to operate in a mixed traffic environment where a portion of vehicles are CAVs and the…

系统与控制 · 计算机科学 2016-12-02 Omar Hussain , Amir Ghiasi , Xiaopeng Li

Since the traffic administration at road intersections determines the capacity bottleneck of modern transportation systems, intelligent cooperative coordination for connected autonomous vehicles (CAVs) has shown to be an effective solution.…

机器人学 · 计算机科学 2023-11-14 Donglin Li , Tingting Zhang , Jiping Luo , Tianhao Liang , Bin Cao , Xuanli Wu , Qinyu Zhang

Formation control methods of connected and automated vehicles have been proposed to smoothly switch the structure of vehicular formations in different scenarios. In the previous research, simulations are often conducted to verify the…

系统与控制 · 电气工程与系统科学 2021-12-02 Mengchi Cai , Qing Xu , Chunying Yang , Jianghong Dong , Chaoyi Chen , Jiawei Wang , Jianqiang Wang , Keqiang Li

Research into safety in autonomous and semi-autonomous vehicles has, so far, largely been focused on testing and validation through simulation. Due to the fact that failure of these autonomous systems is potentially life-endangering, formal…

机器人学 · 计算机科学 2020-03-26 Francisco Eiras , Morteza Lahijanian , Marta Kwiatkowska

This paper presents a novel two-level control architecture for a fully autonomous vehicle in a deterministic environment, which can handle traffic rules as specifications and low-level vehicle control with real-time performance. At the top…

机器人学 · 计算机科学 2021-05-07 Erfan Aasi , Cristian Ioan Vasile , Calin Belta

Forecasting the long-term future motion of road actors is a core challenge to the deployment of safe autonomous vehicles (AVs). Viable solutions must account for both the static geometric context, such as road lanes, and dynamic social…

机器学习 · 计算机科学 2020-08-25 Siddhesh Khandelwal , William Qi , Jagjeet Singh , Andrew Hartnett , Deva Ramanan

Autonomous vehicles (AVs) require accurate metric and topological location estimates for safe, effective navigation and decision-making. Although many high-definition (HD) roadmaps exist, they are not always accurate since public roads are…

机器人学 · 计算机科学 2018-03-06 Samer B. Nashed , David M. Ilstrup , Joydeep Biswas