Die Arbeit stellt eine Präferenzlernmethode vor, die die Einhaltung vorgegebener Spezifikationen gewährleistet, mit einer Anwendung auf autonome Fahrzeuge. Der Ansatz integriert die Prioritätsordnung von Signal Temporal Logic (STL)-Formeln, die Verkehrsregeln beschreiben, in einen Lernrahmen. Durch die Verwendung von Parametrisch Gewichteter Signal Temporal Logic (PWSTL) formulieren wir das Problem des sicherheitsgarantierten Präferenzlernens basierend auf paarweisen Vergleichen und schlagen einen Ansatz vor, dieses Lernproblem zu lösen. Unser Ansatz findet eine realisierbare Bewertung für die Gewichte der gegebenen PWSTL-Formel, so dass die bevorzugten Signale ein größeres gewichtetes quantitatives Erfüllungsmaß haben als ihre nicht bevorzugten Gegenstücke. Die realisierbare Bewertung der Gewichte, die unser Ansatz liefert, führt zu einer gewichteten STL-Formel, die bei der korrekten und kundenspezifischen Controllersynthese verwendet werden kann. Wir demonstrieren die Leistungsfähigkeit unserer Methode mit einer Pilotstudie mit menschlichen Probanden in zwei verschiedenen simulierten Fahrszenarios mit einem Stoppschild und einem Fußgängerüberweg. Unser Ansatz liefert im Vergleich zu bestehenden Präferenzlernmethoden wettbewerbsfähige Ergebnisse in Bezug auf die Erfassung von Präferenzen und übertrifft sie deutlich, wenn Sicherheit berücksichtigt wird.
翻译成其他语言
从原文生成
arxiv.org
更深入的查询