Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computational techniques for reachability analysis of Max-Plus-Linear systems
scientific article

    Statements

    Computational techniques for reachability analysis of Max-Plus-Linear systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    11 October 2017
    0 references
    max-plus-linear systems
    0 references
    forward and backward reachability analysis
    0 references
    reach tube and reach set
    0 references
    piecewise affine systems
    0 references
    difference-bound matrices
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers