Decidability of the Reachability for a Family of Linear Vector Fields (Q3460586)

From MaRDI portal
Revision as of 01:58, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Decidability of the Reachability for a Family of Linear Vector Fields
scientific article

    Statements

    Decidability of the Reachability for a Family of Linear Vector Fields (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    8 January 2016
    0 references
    Tarski's algebra
    0 references
    polynomial-exponential function
    0 references
    reachability
    0 references
    real root isolation
    0 references
    cylindrical algebraic decomposition (CAD)
    0 references

    Identifiers

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