Bracketing backward reach sets of a dynamical system (Q3386553)

From MaRDI portal
Revision as of 10:23, 29 July 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q127483497, #quickstatements; #temporary_batch_1722244795621)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article
Language Label Description Also known as
English
Bracketing backward reach sets of a dynamical system
scientific article

    Statements

    Bracketing backward reach sets of a dynamical system (English)
    0 references
    0 references
    0 references
    0 references
    5 January 2021
    0 references
    abstract interpretation
    0 references
    backward reach set
    0 references
    basin of attraction
    0 references
    stability
    0 references
    constraint solving
    0 references
    interval computation
    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
    0 references

    Identifiers