English
Related papers

Related papers: Ten Diverse Formal Models for a CBTC Automatic Tra…

200 papers

Connected autonomous vehicles (CAVs) must simultaneously perform multiple tasks, such as object detection, semantic segmentation, depth estimation, trajectory prediction, motion prediction, and behaviour prediction, to ensure safe and…

Robotics · Computer Science 2025-08-07 Jiayuan Wang , Farhad Pourpanah , Q. M. Jonathan Wu , Ning Zhang

In this paper we present a machine vision system to efficiently monitor, analyze and present visual data acquired with a railway overhead gantry equipped with multiple cameras. This solution aims to improve the safety of daily life railway…

Computer Vision and Pattern Recognition · Computer Science 2015-07-29 Giuseppe Lisanti , Svebor Karaman , Daniele Pezzatini , Alberto Del Bimbo

Autonomous vehicles (AVs) must navigate dynamic urban environments where occlusions and perception limitations introduce significant uncertainties. This research builds upon and extends existing approaches in risk-aware motion planning and…

Robotics · Computer Science 2025-08-19 Korbinian Moller , Luis Schwarzmeier , Johannes Betz

Unsupervised anomaly detection with localization has many practical applications when labeling is infeasible and, moreover, when anomaly examples are completely missing in the train data. While recently proposed models for such data setup…

Computer Vision and Pattern Recognition · Computer Science 2021-07-28 Denis Gudovskiy , Shun Ishizaka , Kazuki Kozuka

The aim of this work is to control the longitudinal position of an autonomous vehicle with an internal combustion engine. The powertrain has an inherent dead-time characteristic and constraints on physical states apply since the vehicle is…

Systems and Control · Electrical Eng. & Systems 2021-01-15 André Kempf , Markus Herrmann-Wicklmayr , Steffen Müller

Deadlock detection is a challenging issue in the analysis and design of on-chip networks. We have designed an algorithm to detect deadlocks automatically in on-chip networks with wormhole switching. The algorithm has been specified and…

Logic in Computer Science · Computer Science 2011-10-24 Freek Verbeek , Julien Schmaltz

Track testing plays a critical role in the safety evaluation of autonomous driving systems (ADS), as it provides a real-world interaction environment. However, the inflexibility in motion control of object targets and the absence of…

Robotics · Computer Science 2025-12-19 Xinrui Zhang , Lu Xiong , Peizhi Zhang , Junpeng Huang , Yining Ma

Autonomous UAV navigation using reinforcement learning (RL) is vulnerable to adversarial attacks that manipulate sensor inputs, potentially leading to unsafe behavior and mission failure. Although robust RL methods provide partial…

Machine Learning · Computer Science 2025-12-16 Deepak Kumar Panda , Weisi Guo

The multi-agent pickup and delivery (MAPD) problem, in which multiple agents iteratively carry materials without collisions, has received significant attention. However, many conventional MAPD algorithms assume a specifically designed…

Multiagent Systems · Computer Science 2022-01-20 Tomoki Yamauchi , Yuki Miyashita , Toshiharu Sugawara

As a crucial component in intelligent transportation systems, traffic flow prediction has recently attracted widespread research interest in the field of artificial intelligence (AI) with the increasing availability of massive traffic…

Machine Learning · Computer Science 2020-06-17 Lingbo Liu , Jiajie Zhen , Guanbin Li , Geng Zhan , Zhaocheng He , Bowen Du , Liang Lin

Interlocking logics are at the core of critical systems controlling the traffic within stations. In this paper, we consider a generic interlocking logic, which can be instantiated to control a wide class of stations. We tackle the problem…

Logic in Computer Science · Computer Science 2024-03-04 Alessandro Cimatti , Alberto Griggio , Gianluca Redondi

We discuss a platform that has both software and hardware components, and whose purpose is to support research into characterizing and mitigating the sim-to-real gap in robotics and vehicle autonomy engineering. The software is…

In this paper we propose a novel virtual simulation-pilot engine for speeding up air traffic controller (ATCo) training by integrating different state-of-the-art artificial intelligence (AI) based tools. The virtual simulation-pilot engine…

Audio and Speech Processing · Electrical Eng. & Systems 2023-04-18 Juan Zuluaga-Gomez , Amrutha Prasad , Iuliia Nigmatulina , Petr Motlicek , Matthias Kleinert

In multi-task learning (MTL) for visual scene understanding, it is crucial to transfer useful information between multiple tasks with minimal interferences. In this paper, we propose a novel architecture that effectively transfers…

Computer Vision and Pattern Recognition · Computer Science 2022-09-07 Sunkyung Kim , Hyesong Choi , Dongbo Min

Deep learning models have demonstrated exceptional performance across a wide range of computer vision tasks. However, their performance often degrades significantly when faced with distribution shifts, such as domain or dataset changes.…

Computer Vision and Pattern Recognition · Computer Science 2025-07-09 Samuel Barbeau , Pedram Fekri , David Osowiechi , Ali Bahri , Moslem Yazdanpanah , Masih Aminbeidokhti , Christian Desrosiers

The Cybernetic Transportation Systems (CTS) is an urban mobility concept based on two ideas: the car sharing and the automation of dedicated systems with door-to-door capabilities. In the last decade, many European projects have been…

Robotics · Computer Science 2020-08-18 Luis Roldão , Joshue Pérez , David González , and Vicente Milanés

Simulation data can be accurately labeled and have been expected to improve the performance of data-driven algorithms, including object detection. However, due to the various domain inconsistencies from simulation to reality…

Computer Vision and Pattern Recognition · Computer Science 2024-10-01 Meiying Zhang , Weiyuan Peng , Guangyao Ding , Chenyang Lei , Chunlin Ji , Qi Hao

With cooperative perception, autonomous vehicles can wirelessly share sensor data and representations to overcome sensor occlusions, improving situational awareness. Securing such data exchanges is crucial for connected autonomous vehicles.…

Cryptography and Security · Computer Science 2025-03-04 Namo Asavisanu , Tina Khezresmaeilzadeh , Rohan Sequeira , Hang Qiu , Fawad Ahmad , Konstantinos Psounis , Ramesh Govindan

Autonomous control systems use various sensors to decrease the amount of uncertainty under which they operate. While providing partial observation of the current state of the system, sensors require resources such as energy, time and…

Logic in Computer Science · Computer Science 2016-02-29 Eva Tesarova , Maria Svorenova , Jiri Barnat , Ivana Cerna

Urban Traffic Control (UTC) plays an essential role in Intelligent Transportation System (ITS) but remains difficult. Since model-based UTC methods may not accurately describe the complex nature of traffic dynamics in all situations,…

Artificial Intelligence · Computer Science 2018-08-27 Yilun Lin , Xingyuan Dai , Li Li , Fei-Yue Wang