English
Related papers

Related papers: Correct-by-Construction Advanced Driver Assistance…

200 papers

Automated vehicles (AVs) are expected to increase traffic safety and traffic efficiency, among others by enabling flexible mobility-on-demand systems. This is particularly important in Singapore, being one of the world's most densely…

Robotics · Computer Science 2021-12-20 J. Ploeg , E. de Gelder , M. Slavík , E. Querner , T. Webster , N. de Boer

The complexity of automated driving poses challenges for providing safety assurance. Focusing on the architecting of an Autonomous Driving Intelligence (ADI), i.e. the computational intelligence, sensors and communication needed for high…

Systems and Control · Electrical Eng. & Systems 2019-12-06 Martin Törngren , Xinhai Zhang , Naveen Mohan , Matthias Becker , Lars Svensson , Xin Tao , De-Jiu Chen , Jonas Westman

In this work, we propose a self-improving artificial intelligence system to enhance the safety performance of reinforcement learning (RL)-based autonomous driving (AD) agents using black-box verification methods. RL algorithms have become…

Artificial Intelligence · Computer Science 2025-07-21 Resul Dagdanov , Halil Durmus , Nazim Kemal Ure

The operational space of an autonomous vehicle (AV) can be diverse and vary significantly. This may lead to a scenario that was not postulated in the design phase. Due to this, formulating a rule based decision maker for selecting maneuvers…

Robotics · Computer Science 2019-04-02 Subramanya Nageshrao , Eric Tseng , Dimitar Filev

Evolving cybersecurity threats in complex cyber-physical systems pose significant risks to system functionality and safety. This experience report introduces ACTISM (Automotive Consequence-Driven and Threat-Informed Security Modelling), an…

Cryptography and Security · Computer Science 2025-02-06 Shaofei Huang , Christopher M. Poskitt , Lwin Khin Shar

Safety and mission performance validation of autonomous vehicles (AVs) is a major challenge. In this paper we describe a methodology for constructing and applying assertion checks to validate the behaviour of an AV operating either in…

Databases · Computer Science 2022-05-16 Christopher Harper , Greg Chance , Abanoub Ghobrial , Saquib Alam , Tony Pipe , Kerstin Eder

With the increasing presence of autonomous SAE level 3 and level 4, which incorporate artificial intelligence software, along with the complex technical challenges they present, it is essential to maintain a high level of functional safety…

Software Engineering · Computer Science 2024-12-13 Vikas Vyas , Zheyuan Xu

This paper presents an automated driving system (ADS) data acquisition and processing platform for vehicle trajectory extraction, reconstruction, and evaluation based on connected automated vehicle (CAV) cooperative perception. This…

Robotics · Computer Science 2022-11-28 Xin Xia , Zonglin Meng , Xu Han , Hanzhao Li , Takahiro Tsukiji , Runsheng Xu , Zhaoliang Zhang , Jiaqi Ma

The rapid adoption of micromobility solutions, particularly two-wheeled vehicles like e-scooters and e-bikes, has created an urgent need for reliable autonomous riding (AR) technologies. While autonomous driving (AD) systems have matured…

Development of quality assured software-intensive systems, such as automotive embedded systems, is an increasing challenge as the complexity of these systems significantly increases. EAST-ADL is an architecture description language…

Software Engineering · Computer Science 2019-03-18 Eun-Young Kang

This paper provides a comprehensive review of the design and implementation of automatically generated assessment reports (AutoRs) for formative use in K-12 Science, Technology, Engineering, and Mathematics (STEM) classrooms. With the…

Human-Computer Interaction · Computer Science 2025-01-03 Ehsan Latif , Ying Chen , Xiaoming Zhai , Yue Yin

Autonomous vehicles (AVs) promise efficient, clean and cost-effective transportation systems, but their reliance on sensors, wireless communications, and decision-making systems makes them vulnerable to cyberattacks and physical threats.…

Cryptography and Security · Computer Science 2026-04-15 Chieh Tsai , Murad Mehrab Abrar , Salim Hariri

This paper introduces and tests a framework integrating traffic regulation compliance into automated driving systems (ADS). The framework enables ADS to follow traffic laws and make informed decisions based on the driving environment. Using…

Robotics · Computer Science 2025-03-13 Xu Han , Zhiwen Wu , Xin Xia , Jiaqi Ma

Environment perception is a fundamental part of the dynamic driving task executed by Autonomous Driving Systems (ADS). Artificial Intelligence (AI)-based approaches have prevailed over classical techniques for realizing the environment…

Robotics · Computer Science 2024-12-24 Iqra Aslam , Abhishek Buragohain , Daniel Bamal , Adina Aniculaesei , Meng Zhang , Andreas Rausch

Formal verification has been successfully developed in computer science for verifying combinatorial classes of models and specifications. In like manner, formal verification methods have been developed for dynamical systems. However, the…

Systems and Control · Computer Science 2013-08-27 Rafael Wisniewski

In the automobile industry, ensuring the safety of automated vehicles equipped with the Automated Driving System (ADS) is becoming a significant focus due to the increasing development and deployment of automated driving. Automated driving…

Systems and Control · Electrical Eng. & Systems 2025-05-06 Milin Patel , Rolf Jung , Marzana Khatun

The advent of Autonomous Driving Systems (ADS) has marked a significant shift towards intelligent transportation, with implications for public safety and traffic efficiency. While these systems integrate a variety of technologies and offer…

Software Engineering · Computer Science 2025-02-28 Wenyuan Cheng , Zengyang Li , Peng Liang , Ran Mo , Hui Liu

Autonomous systems (AS) are systems that have the capability to take decisions free from direct human control. AS are increasingly being considered for adoption for applications where their behaviour may cause harm, such as when used for…

Software Engineering · Computer Science 2022-08-02 Richard Hawkins , Matt Osborne , Mike Parsons , Mark Nicholson , John McDermid , Ibrahim Habli

End-to-end autonomous driving has emerged as a promising approach to unify perception, prediction, and planning within a single framework, reducing information loss and improving adaptability. However, existing methods often rely on fixed…

Robotics · Computer Science 2025-07-18 Yuhang Lu , Jiadong Tu , Yuexin Ma , Xinge Zhu

Modern automobiles can be considered as a collection of many subsystems working with each other to realize safe transportation of the occupants. Innovative technologies that make transportation easier are increasingly incorporated into the…

Systems and Control · Computer Science 2016-03-30 Avinash Visagan Varadarajan , Marcel Romijn , Bart Oosthoek , Joanna van de Mortel-Fronczak , Jos Beijer
‹ Prev 1 8 9 10 Next ›