4C: Custom-and-Correct-by-Construction Controller Synthesis using Multi-modal Human Feedback

2024/10/15 by Karagulle, Ruya, Calderon, Marco Antonio Valdez, Ozay, Necmiye
Computer Science · Engineering · #Computer Science #Electrical Engineering #Engineering

paper · doi:10.7302/24455

Abstract

Autonomous vehicle technology has a critical role in enhancing road safety by reducing human errors. The adoption of such technologies is shown to be dependent on user satisfaction, which is influenced by diverse comfort and performance preferences. This paper addresses the challenge of generating custom and naturalistic autonomous vehicle behaviors to meet individual user expectations while ensuring safety. To achieve this goal, we incorporate multi-modal human feedback with pairwise preferences and driving demonstrations into a control synthesis framework. We write safety specifications and express preferences using Weighted Signal Temporal Logic (WSTL), and we employ the PyTeLo toolbox for controller synthesis. Our approach is validated through synthetic experiments and a pilot, small- sized human subject study, demonstrating the effectiveness of integrating multi-modal human feedback for customizing autonomous vehicle behaviors.

Related

• A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles
• μDrive: User-Controlled Autonomous Driving
• Socially Compliant Control of Autonomous Vehicles with Application to Eco-Driving
• On-Board Vision-Language Models for Personalized Autonomous Vehicle Motion Control: System Design and Real-World Validation
• Designing The Drive: Enhancing User Experience through Adaptive Interfaces in Autonomous Vehicles