One embodiment described herein relates to a method for supervising a dynamic system, for example a vehicle. The method includes receiving a system state sample and calculating, for a specific time instant, a reachable set of system states based on a current system state and a system model representing the dynamic system. The method further includes calculating a mathematical representation of a specific manifestation of a generic rule and calculating an allowed subset of system states based on the reachable set and the mathematical representation of the specific manifestation of the generic rule. Furthermore, the method includes testing whether the system state sample is within the allowed subset.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification for the Development and Real-Time Application of Autonomous Systems


    Beteiligte:

    Erscheinungsdatum :

    2022-06-30


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    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






    Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

    Domenici, Andrea / Fagiolini, Adriano / Palmieri, Maurizio | BASE | 2018

    Freier Zugriff

    Adding a Verification View for Autonomous Real-Time Architecture

    James B Dabney / Pavan Rajagopal / Julia M Badger | NTRS