Reachability Computation for Switching Diffusions (Q5275319)

From MaRDI portal
scientific article; zbMATH DE number 6741660
Language Label Description Also known as
English
Reachability Computation for Switching Diffusions
scientific article; zbMATH DE number 6741660

    Statements

    Reachability Computation for Switching Diffusions (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    11 July 2017
    0 references
    finite abstractions
    0 references
    numerical computations
    0 references
    reachability and safety analysis
    0 references
    stochastic hybrid models
    0 references
    switching diffusions
    0 references
    time and space discretisation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references