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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    AUTONOMER FAHRZEUGBETRIEB MITTELS LINEARER TEMPORALER LOGIK


    Beteiligte:

    Erscheinungsdatum :

    21.04.2022


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch


    Klassifikation :

    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. | Europäisches Patentamt | 2019

    Freier Zugriff

    AUTONOMER FAHRZEUGBETRIEB MIT AUTOMATISIERTER UNTERSTÜTZUNG

    WEINSTEIN-RAUN BENJAMIN | Europäisches Patentamt | 2024

    Freier Zugriff

    AUTONOMER FAHRZEUGBETRIEB WÄHREND EINER PARKPHASE

    BOSSDORF-ZIMMER JANINE / LAMPING ROY | Europäisches Patentamt | 2015

    Freier Zugriff

    Verbesserter Fahrzeugbetrieb

    WANG LIJUN / ZHANG CHEN / KREUCHER REBECCA | Europäisches Patentamt | 2022

    Freier Zugriff

    VERBESSERTER FAHRZEUGBETRIEB

    LAVOIE ERICK MICHAEL / VAN WIEMEERSCH JOHN ROBERT | Europäisches Patentamt | 2022

    Freier Zugriff