English
Related papers

Related papers: The Controllability of Planning, Responsibility, a…

200 papers

Designing and implementing explainable systems is seen as the next step towards increasing user trust in, acceptance of and reliance on Artificial Intelligence (AI) systems. While explaining choices made by black-box algorithms such as…

Multiagent Systems · Computer Science 2022-08-23 Sharadhi Alape Suryanarayana , David Sarne , Sarit Kraus

The level of automation in vehicles will significantly increase over the next decade. As automation will become more and more common, vehicles will not be able to master all traffic related situations for a long time by themselves. In such…

Computers and Society · Computer Science 2021-01-26 Andreas Otte , Jonas Vogt , Jens Staub , Niclas Wolniak , Horst Wieker

The terminological landscape is rather cluttered when referring to autonomous driving or vehicles. A plethora of terms are used interchangeably, leading to misuse and confusion. With its technological, social and legal progress, it is…

Artificial Intelligence · Computer Science 2021-03-22 David Fernández Llorca

The emerging trend towards distributed (cloud) systems (DS) has widely arrived whether in the automotive, public or the financial sector, but the execution of services of heterogeneous service providers is exposed to several risks. Beside…

Software Engineering · Computer Science 2022-09-29 Lev Sorokin

Autonomous systems are becoming increasingly prevalent in new vehicles. Due to their environmental friendliness and their remarkable capability to significantly enhance road safety, these vehicles have gained widespread recognition and…

Robotics · Computer Science 2025-07-04 Reem Alhabib , Poonam Yadav

Trajectory prediction is one of the key components of the autonomous driving software stack. Accurate prediction for the future movement of surrounding traffic participants is an important prerequisite for ensuring the driving efficiency…

Robotics · Computer Science 2023-05-17 Wenbo Shao , Jun Li , Hong Wang

Successful aerial manipulation largely depends on how effectively a controller can tackle the coupling dynamic forces between the aerial vehicle and the manipulator. However, this control problem has remained largely unsolved as the…

Robotics · Computer Science 2024-10-14 Rishabh Dev Yadav , Swati Dantu , Wei Pan , Sihao Sun , Spandan Roy , Simone Baldi

Timed automata (TA) have been widely adopted as a suitable formalism to model time-critical systems. Furthermore, contemporary model-checking tools allow the designer to check whether a TA complies with a system specification. However, the…

Logic in Computer Science · Computer Science 2023-06-22 Jaroslav Bendík , Ahmet Sencan , Ebru Aydin Gol , Ivana Černá

There has been significant progress in sensing, perception, and localization for automated driving, However, due to the wide spectrum of traffic/road structure scenarios and the long tail distribution of human driver behavior, it has…

The tremendous excitement around the deployment of autonomous vehicles (AVs) comes from their purported promise. In addition to decreasing accidents, AVs are projected to usher in a new era of equity in human autonomy by providing…

Computers and Society · Computer Science 2022-08-04 A. Feder Cooper , Karen Levy

This paper presents a novel, safe control architecture (SCA) for controlling an important class of systems: safety-critical systems. Ensuring the safety of control decisions has always been a challenge in automatic control. The proposed SCA…

Systems and Control · Electrical Eng. & Systems 2022-02-01 Maryam Nezami , Georg Maennel , Hossam Seddik Abbas , Georg Schildbach

Autonomous systems are often deployed in complex sociotechnical environments, such as public roads, where they must behave safely and securely. Unlike many traditionally engineered systems, autonomous systems are expected to behave…

Robotics · Computer Science 2023-04-27 Georgios Bakirtzis , Steven Carr , David Danks , Ufuk Topcu

Mobile robots are ubiquitous. Such vehicles benefit from well-designed and calibrated control algorithms ensuring their task execution under precise uncertainty bounds. Yet, in tasks involving humans in the loop, such as elderly or mobility…

Robotics · Computer Science 2023-12-08 Cristian Axenie , Matteo Saveriano

Current technologies are unable to produce massively deployable, fully autonomous vehicles that do not require human intervention. Such technological limitations are projected to persist for decades. Therefore, roadway scenarios requiring a…

Applications · Statistics 2021-07-02 David Ríos Insua , William N. Caballero , Roi Naveiro

Artificial Intelligence (AI) provides many opportunities to improve private and public life. Discovering patterns and structures in large troves of data in an automated manner is a core component of data science, and currently drives…

Artificial Intelligence · Computer Science 2019-10-11 Vaishak Belle

At this moment Autonomous cars are probably the biggest and most talked about technology in the Robotics Research Community. In spite of great technological advances over past few years a full edged autonomous car is still far from reality.…

Computers and Society · Computer Science 2019-03-25 Anish Acharya

In this paper, we consider scheduling problems that arise in connected and autonomous vehicle systems. For four variants of such problems, mathematical models and solution algorithms are presented. In particular, three polynomial algorithms…

Optimization and Control · Mathematics 2023-04-05 Evgeny R. Gafarov , Frank Werner

Autonomous vehicles often make complex decisions via machine learning-based predictive models applied to collected sensor data. While this combination of methods provides a foundation for real-time actions, self-driving behavior primarily…

Robotics · Computer Science 2024-04-12 Shahin Atakishiyev , Mohammad Salameh , Randy Goebel

Significant changes are occurring in the field of vehicle dynamics control. Consequently, vehicle dynamics control systems are expected to be as common as ABS systems in the near future. This paper focuses on the information technology…

Systems and Control · Electrical Eng. & Systems 2023-05-22 Levent Guvenc , Bilin Aksun-Guvenc

A smart city involves critical infrastructure systems that have been digitally enabled. Increasingly, many smart city cyber-physical systems are becoming automated. The extent of automation ranges from basic logic gates to sophisticated,…

Computers and Society · Computer Science 2020-02-27 Gregory Falco