English
Related papers

Related papers: Extending Urban Multi-Lane Spatial Logic to Formal…

200 papers

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…

Robotics · Computer Science 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.…

Systems and Control · Electrical Eng. & Systems 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…

Systems and Control · Electrical Eng. & Systems 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.…

Logic in Computer Science · Computer Science 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)…

Robotics · Computer Science 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…

Robotics · Computer Science 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,…

Computers and Society · Computer Science 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…

Robotics · Computer Science 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…

Optimization and Control · Mathematics 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,…

Systems and Control · Electrical Eng. & Systems 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…

Computer Vision and Pattern Recognition · Computer Science 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…

Systems and Control · Computer Science 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…

Systems and Control · Computer Science 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.…

Robotics · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Robotics · Computer Science 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…

Robotics · Computer Science 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…

Machine Learning · Computer Science 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…

Robotics · Computer Science 2018-03-06 Samer B. Nashed , David M. Ilstrup , Joydeep Biswas