Dynamic Consistency Management for Autonomous Traffic Agents (A06#)

• Subject Area: Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics ; Software Engineering and Programming Languages ; Traffic and Transport Systems, Intelligent and Automated Traffic
• Term: since 2024
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 501798263

In this project, we elevate the notion of design time consistency for autonomous traffic agents (ATAs) to a level of dynamic consistency at run-time, where a constantly changing environment necessitates methods for regaining consistency. For this, we first identify run-time conflicts for ATAs as situations where the ATA cannot choose an action without violating rules or ATA goals (e.g. a safety goal). We summarise individual conflicts to formalised conflict clusters to tackle the problem of reasoning about infinitely many individual ATA conflicts. We then identify resolution strategies for each conflict cluster. As a conflict is a critical driving situation and its resolution often necessitates breaching traffic regulations, we add explanations to ensure a social acceptance of conflict-solving ATAs.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1608: Consistency in the View-Based Development of Cyber-Physical Systems
• Applicant Institution: Karlsruher Institut für Technologie
• Project Head: Professorin Dr. Maike Schwammberger