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.


    Access

    Download


    Export, share and cite



    Title :

    AUTONOMER FAHRZEUGBETRIEB MITTELS LINEARER TEMPORALER LOGIK


    Contributors:

    Publication date :

    2022-04-21


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    German


    Classification :

    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



    Schlüsselbildbasierter autonomer Fahrzeugbetrieb

    PARASHAR PRIYAM / FUJIMURA KIKUO / NAKHAEI SARVEDANI ALIREZA et al. | European Patent Office | 2019

    Free access

    AUTONOMER FAHRZEUGBETRIEB MIT AUTOMATISIERTER UNTERSTÜTZUNG

    WEINSTEIN-RAUN BENJAMIN | European Patent Office | 2024

    Free access

    AUTONOMER FAHRZEUGBETRIEB WÄHREND EINER PARKPHASE

    BOSSDORF-ZIMMER JANINE / LAMPING ROY | European Patent Office | 2015

    Free access

    Verbesserter Fahrzeugbetrieb

    WANG LIJUN / ZHANG CHEN / KREUCHER REBECCA | European Patent Office | 2022

    Free access

    VERBESSERTER FAHRZEUGBETRIEB

    LAVOIE ERICK MICHAEL / VAN WIEMEERSCH JOHN ROBERT | European Patent Office | 2022

    Free access