Autonomous vehicles (AV, e.g. road*, naval, submarine, and aerial vehicles, individual or collective, possibly unmanned) as well as traffic penetrated by AVs will provide novel styles of mobility* by having to fulfill strong safety requirements.

Control systems for AVs (particularly their software) have to

  • act autonomously when performing safety critical tasks,
  • optimize their control loop parameters at run-time (e.g. adaptation of SW/HW and behavior in case of internal faults, security attacks, or road infrastructure updates),
  • carefully involve humans in the loop,
  • employ efficient run-time verification of permissive safety properties,
  • be certified in spite of non-deterministic behavior.

As more AVs make up the traffic flow we must explore

  • validation and creation of new mathematical models, including models that support integration of moving sensors with fixed and smart infrastructure sensors,
  • sensing and control of emergent traffic phenomena,
  • platooning and pacing of AVs when in a group,
  • security with respect to real-time sensing and actuation among human-driven cars.

This development demands novel approaches, methods, and models for analysis, design, and assurance of dependable AV controllers and dependable traffic control.

The goal of this workshop is to identify open research problems, discuss recent achievements, bring together researchers in, e.g. software verification, control theory, machine learning, dependability engineering, (self-)adaptive software, machine self-organization and autonomy, mobile intelligent and distributed robotics, transportation, traffic control.

*) For this workshop we focus on road vehicles and traffic. However, we are strongly interested in discussing corresponding results spanning all phenomena of connected and autonomous vehicles.

See Call for Papers