English
Related papers

Related papers: A Consistency Analysis Method for Traffic Sequence…

200 papers

The potential to improve road safety, reduce human driving error, and promote environmental sustainability have enabled the field of autonomous driving to progress rapidly over recent decades. The performance of autonomous vehicles has…

Artificial Intelligence · Computer Science 2025-05-14 Sara Montese , Victor Gimenez-Abalos , Atia Cortés , Ulises Cortés , Sergio Alvarez-Napagao

Compute and memory constraints have historically prevented traffic simulation software users from fully utilizing the predictive models underlying them. When calibrating car-following models, particularly, accommodations have included 1)…

Machine Learning · Statistics 2019-08-08 Franklin Abodo , Andrew Berthaume , Stephen Zitzow-Childs , Leonardo Bobadilla

Connected and automated vehicles (CAVs) are expected to reshape traffic flow dynamics and present new challenges and opportunities for traffic flow modeling. While numerous studies have proposed optimal modeling and control strategies for…

Analysis of PDEs · Mathematics 2023-12-01 Saeed Mohammadian , Zuduo Zheng , Md. Mazharul Haque , Ashish Bhaskar

Modeling system-level behaviors of intricate System-on-Chip (SoC) designs is crucial for design analysis, testing, and validation. However, the complexity and volume of SoC traces pose significant challenges in this task. This paper…

Logic in Computer Science · Computer Science 2024-02-29 Md Rubel Ahmed , Bardia Nadimi , Hao Zheng

Adaptive synchronization protocols for heterogeneous multi-agent network are investigated. The interaction between each of the agents is carried out through a directed graph. We highlight the lack of communication between agents and the…

Systems and Control · Electrical Eng. & Systems 2020-10-07 Miguel F. Arevalo-Castiblanco , Duvan A. Tellez-Castro , Jorge Sofrony , Eduardo Mojica-Nava

Conformal inference is a method that provides prediction sets for machine learning models, operating independently of the underlying distributional assumptions and relying solely on the exchangeability of training and test data. Despite its…

Methodology · Statistics 2025-10-01 Daniela Corbetta , Livio Finos , Ludwig Geistlinger , Davide Risso

Live sequence charts (LSCs) have been proposed as an inter-object scenario-based specification and visual programming language for reactive systems. In this paper, we introduce a logic-based framework to check the consistency of an LSC…

Logic in Computer Science · Computer Science 2010-02-17 Hai-Feng Guo , Wen Zheng , Mahadevan Subramaniam

Autonomous vehicles are expected to navigate in complex traffic scenarios with multiple surrounding vehicles. The correlations between road users vary over time, the degree of which, in theory, could be infinitely large, thus posing a great…

Robotics · Computer Science 2019-10-24 Yaohui Guo , Vinay Varma Kalidindi , Mansur Arief , Wenshuo Wang , Jiacheng Zhu , Huei Peng , Ding Zhao

Process mining leverages event data extracted from IT systems to generate insights into the business processes of organizations. Such insights benefit from explicitly considering the frequency of behavior in business processes, which is…

Formal Languages and Automata Theory · Computer Science 2025-07-10 Tian Li , Artem Polyvyanyy , Sander J. J. Leemans

Despite the increasing testing operations of automated vehicles on public roads, media reports on incidents show that safety issues caused by automated driving systems persist to this day. Manufacturers face high development uncertainty…

Systems and Control · Electrical Eng. & Systems 2025-07-08 Marvin Loba , Nayel Fabian Salem , Marcus Nolte , Andreas Dotzler , Dieter Ludwig , Markus Maurer

This article summarizes the research progress of scenario-based testing and development technology for autonomous vehicles. We systematically analyzed previous research works and proposed the definition of scenario, the elements of the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-09 Xiaoyi Li

For a successful market launch of automated vehicles (AVs), proof of their safety is essential. Due to the open parameter space, an infinite number of traffic situations can occur, which makes the proof of safety an unsolved problem. With…

Robotics · Computer Science 2020-08-27 Thomas Ponn , Matthias Breitfuß , Xiao Yu , Frank Diermeyer

Scenario-Based Programming is a methodology for modeling and constructing complex reactive systems from simple, stand-alone building blocks, called scenarios. These scenarios are designed to model different traits of the system, and can be…

Software Engineering · Computer Science 2020-10-13 Guy Katz , Assaf Marron , Aviran Sadon , Gera Weiss

In a given scenario, simultaneously and accurately predicting every possible interaction of traffic participants is an important capability for autonomous vehicles. The majority of current researches focused on the prediction of an single…

Machine Learning · Computer Science 2018-10-31 Yeping Hu , Wei Zhan , Masayoshi Tomizuka

In recent years the modelling of traffic flow using methods from statistical physics, especially cellular automata models have allowed simulations of large traffic networks faster than real time. In this paper, we study a probabilistic…

Soft Condensed Matter · Physics 2007-05-23 M. E. Larraga , J. A. del Rio

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

Driven many-particle systems with nonlinear interactions are known to often display multi-stability, i.e. depending on the respective initial condition, there may be different outcomes. Here, we study this phenomenon for traffic models,…

Physics and Society · Physics 2009-11-13 Dirk Helbing , Mehdi Moussaid

We present consistent algorithms for multiclass learning with complex performance metrics and constraints, where the objective and constraints are defined by arbitrary functions of the confusion matrix. This setting includes many common…

Understanding traffic scenes requires considering heterogeneous information about dynamic agents and the static infrastructure. In this work we propose SCENE, a methodology to encode diverse traffic scenes in heterogeneous graphs and to…

Computer Vision and Pattern Recognition · Computer Science 2023-01-10 Thomas Monninger , Julian Schmidt , Jan Rupprecht , David Raba , Julian Jordan , Daniel Frank , Steffen Staab , Klaus Dietmayer

Clustering traffic scenarios and detecting novel scenario types are required for scenario-based testing of autonomous vehicles. These tasks benefit from either good similarity measures or good representations for the traffic scenarios. In…

Computer Vision and Pattern Recognition · Computer Science 2022-07-21 Jonas Wurst , Lakshman Balasubramanian , Michael Botsch , Wolfgang Utschick