Techniques for establishing the sufficiency of a path planner to avoid multiple obstacles in planning a path from a starting location to a destination location is presented. The techniques can include: iterating, until a stopping condition occurs: obtaining, from the path planner, a path from the starting location to the destination location; representing the path from the starting location to the destination location as a disjunction of logical terms; conjoining the disjunction of terms to a conjunction of terms representing previously considered paths; determining a satisfiability condition of the conjunction of terms; and for a positive satisfiability condition, adding at least one corresponding obstacle of the plurality of obstacles to the path planner; and providing an indication of sufficiency of the path planner to avoid the obstacles in planning a path from the starting location to the destination location based on the stopping condition.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    SAFETY ASSURANCE FOR PATH PLANNERS


    Beteiligte:
    BONNOIT CRAIG JOHN (Autor:in) / GUHA ANUBHAV (Autor:in)

    Erscheinungsdatum :

    2023-03-23


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    IPC:    G08G Anlagen zur Steuerung, Regelung oder Überwachung des Verkehrs , TRAFFIC CONTROL SYSTEMS



    SAFETY FILTER FOR MACHINE LEARNING PLANNERS

    TOMOV MOMCHIL / WOLFF ERIC / OMARI SAMMY | Europäisches Patentamt | 2023

    Freier Zugriff

    SAFETY FILTER FOR MACHINE LEARNING PLANNERS

    TOMOV MOMCHIL / WOLFF ERIC / OMARI SAMMY | Europäisches Patentamt | 2023

    Freier Zugriff

    Individual utility‐based path suggestions in transit trip planners

    Nuzzolo, Agostino / Comi, Antonio | Wiley | 2016

    Freier Zugriff

    Individual utility-based path suggestions in transit trip planners

    Nuzzolo, Agostino / Comi, Antonio | IET | 2016

    Freier Zugriff

    Transit Trip Planners: Real-Time Strategy-Based Path Recommendation

    Nuzzolo, Agostino / Comi, Antonio | IEEE | 2015