English
Related papers

Related papers: Magnifier: A Compositional Analysis Approach for A…

200 papers

Autonomous driving vehicles (ADVs) are implemented with rich software functions and equipped with many sensors, which in turn brings broad attack surface. Moreover, the execution environment of ADVs is often open and complex. Hence, ADVs…

Cryptography and Security · Computer Science 2020-04-28 Kun Cheng , Yuebin Bai , Yuan Zhou , Chao Yu , Yang Liu

Rigorous Verification and Validation (V&V) of Autonomous Driving Functions (ADFs) is paramount for ensuring the safety and public acceptance of Autonomous Vehicles (AVs). Current validation relies heavily on simulation to achieve sufficient…

We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems. The approach is based on a control loop that monitors the driver's biometrics (eye movement, heart rate, etc.) and the…

Robotics · Computer Science 2025-03-21 Radu Calinescu , Naif Alasmari , Mario Gleirscher

Applying reinforcement learning to autonomous driving entails particular challenges, primarily due to dynamically changing traffic flows. To address such challenges, it is necessary to quickly determine response strategies to the changing…

Robotics · Computer Science 2022-12-12 Se-Wook Yoo , Chan Kim , Jin-Woo Choi , Seong-Woo Kim , Seung-Woo Seo

A generally intelligent learner should generalize to more complex tasks than it has previously encountered, but the two common paradigms in machine learning -- either training a separate learner per task or training a single learner for all…

Machine Learning · Computer Science 2019-05-09 Michael B. Chang , Abhishek Gupta , Sergey Levine , Thomas L. Griffiths

This paper introduces an approach that enhances the state estimator for high-speed autonomous race cars, addressing challenges from unreliable measurements, localization failures, and computing resource management. The proposed robust…

Robotics · Computer Science 2024-02-14 Daegyu Lee , Hyunwoo Nam , Chanhoe Ryu , Sungwon Nah , Seongwoo Moon , D. Hyunchul Shim

This paper investigates the longitudinal control problem in a dynamic traffic environment where driving scenarios change between free-driving scenarios and car-following scenarios. A comprehensive longitudinal controller is proposed to…

Systems and Control · Electrical Eng. & Systems 2022-06-28 Wubing B. Qin

Imitation learning is a promising approach to end-to-end training of autonomous vehicle controllers. Typically the driving process with such approaches is entirely automatic and black-box, although in practice it is desirable to control the…

Robotics · Computer Science 2020-11-23 Renhao Wang , Adam Scibior , Frank Wood

When developing autonomous driving systems (ADS), developers often need to replay previously collected driving recordings to check the correctness of newly introduced changes to the system. However, simply replaying the entire recording is…

Software Engineering · Computer Science 2022-09-07 Yao Deng , Xi Zheng , Mengshi Zhang , Guannan Lou , Tianyi Zhang

This paper presents an integrated motion planning system for autonomous vehicle (AV) parking in the presence of other moving vehicles. The proposed system includes 1) a hybrid environment predictor that predicts the motions of the…

Robotics · Computer Science 2022-04-28 Jessica Leu , Yebin Wang , Masayoshi Tomizuka , Stefano Di Cairano

A multi-agent deep reinforcement learning-based framework for traffic shaping. The proposed framework offers a key advantage over existing congestion management strategies which is the ability to mitigate hysteresis phenomena. Unlike…

Multiagent Systems · Computer Science 2023-02-08 Rami Ammourah , Alireza Talebpour

Safety-critical scenario generation is crucial for evaluating autonomous driving systems. However, existing approaches often struggle to balance three conflicting objectives: adversarial criticality, physical feasibility, and behavioral…

Robotics · Computer Science 2026-03-05 Jinlong Cui , Fenghua Liang , Guo Yang , Chengcheng Tang , Jianxun Cui

Before and after study frameworks are widely adopted to evaluate the effectiveness of transportation policies and emerging technologies. However, many factors such as seasonal factors, holidays, and lane closure might interfere with the…

Applications · Statistics 2023-08-08 Xiaobo Ma , Abolfazl Karimpour , Yao-Jan Wu

Online identification of post-contingency transient stability is essential in power system control, as it facilitates the grid operator to decide and coordinate system failure correction control actions. Utilizing machine learning methods…

Systems and Control · Computer Science 2017-05-23 James J. Q. Yu , David J. Hill , Albert Y. S. Lam , Jiatao Gu , Victor O. K. Li

In dense and dynamic scenarios, planning a safe and comfortable trajectory is full of challenges when traffic participants are driving at high speed. The classic graph search and sampling methods first perform path planning and then…

Robotics · Computer Science 2021-03-22 Xiaoyu Yang , Huiyun Li

A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design. We develop a complete specification framework for real-time…

Formal Languages and Automata Theory · Computer Science 2023-07-14 Martijn A. Goorden , Kim G. Larsen , Axel Legay , Florian Lorber , Ulrik Nyman , Andrzej Wasowski

Simulation is a crucial tool for accelerating the development of autonomous vehicles. Making simulation realistic requires models of the human road users who interact with such cars. Such models can be obtained by applying learning from…

Text-to-image diffusion models can generate high-quality images but lack fine-grained control of visual concepts, limiting their creativity. Thus, we introduce component-controllable personalization, a new task that enables users to…

Computer Vision and Pattern Recognition · Computer Science 2025-05-22 Donghao Zhou , Jiancheng Huang , Jinbin Bai , Jiaze Wang , Hao Chen , Guangyong Chen , Xiaowei Hu , Pheng-Ann Heng

This manuscript considers the problem of ensuring stability and safety during formation control with distributed multi-agent systems in the presence of parametric uncertainty in the dynamics and limited communication. We propose an…

Systems and Control · Electrical Eng. & Systems 2026-03-24 Jose A. Solano-Castellanos , Peter A. Fisher , Anuradha Annaswamy

Modeling future traffic conditions often relies heavily on complex spatial-temporal neural networks to capture spatial and temporal correlations, which can overlook the inherent noise in the data. This noise, often manifesting as unexpected…

Machine Learning · Computer Science 2023-10-26 Yuanshao Zhu , Yongchao Ye , Xiangyu Zhao , James J. Q. Yu