Es werden Techniken für den autonomen Fahrzeugbetrieb mittels linearer temporaler Logik bereitgestellt. Die Techniken beinhalten die Verwendung eines oder mehrerer Prozessoren eines Fahrzeugs, um einen linearen temporalen Logikausdruck zu speichern, der eine Betriebsbeschränkung für das Betreiben des Fahrzeugs definiert. Das Fahrzeug befindet sich an einem ersten raumzeitlichen Ort. Der eine oder die mehreren Prozessoren werden verwendet, um einen zweiten raumzeitlichen Ort für das Fahrzeug zu empfangen. Der eine oder die mehreren Prozessoren werden verwendet, um ein Bewegungssegment zum Betreiben des Fahrzeugs vom ersten raumzeitlichen Ort zum zweiten raumzeitlichen Ort zu identifizieren. Der eine oder die mehreren Prozessoren werden dazu verwendet, einen Wert des linearen temporalen Logikausdrucks basierend auf dem Bewegungssegment zu bestimmen. Der eine oder die mehreren Prozessoren werden dazu verwendet, eine Betriebskennzahl zum Betreiben des Fahrzeugs gemäß dem Bewegungssegment basierend auf dem bestimmten Wert des linearen temporalen Logikausdrucks zu erzeugen.
Techniques are provided for autonomous vehicle operation using linear temporal logic. The techniques include using one or more processors of a vehicle to store a linear temporal logic expression defining an operating constraint for operating the vehicle. The vehicle is located at a first spatiotemporal location. The one or more processors are used to receive a second spatiotemporal location for the vehicle. The one or more processors are used to identify a motion segment for operating the vehicle from the first spatiotemporal location to the second spatiotemporal location. The one or more processors are used to determine a value of the linear temporal logic expression based on the motion segment. The one or more processors are used to generate an operational metric for operating the vehicle in accordance with the motion segment based on the determined value of the linear temporal logic expression.
AUTONOMER FAHRZEUGBETRIEB MITTELS LINEARER TEMPORALER LOGIK
21.04.2022
Patent
Elektronische Ressource
Deutsch
IPC: | B60W CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION , Gemeinsame Steuerung oder Regelung von Fahrzeug-Unteraggregaten verschiedenen Typs oder verschiedener Funktion / G01C Messen von Entfernungen, Höhen, Neigungen oder Richtungen , MEASURING DISTANCES, LEVELS OR BEARINGS |
AUTONOMER FAHRZEUGBETRIEB MIT AUTOMATISIERTER UNTERSTÜTZUNG
Europäisches Patentamt | 2024
|