On the decidability and complexity of problems for restricted hierarchical hybrid systems (Q338386)

From MaRDI portal
Revision as of 00:08, 9 December 2024 by Import241208021249 (talk | contribs) (Normalize DOI.)
scientific article
Language Label Description Also known as
English
On the decidability and complexity of problems for restricted hierarchical hybrid systems
scientific article

    Statements

    On the decidability and complexity of problems for restricted hierarchical hybrid systems (English)
    0 references
    0 references
    0 references
    0 references
    4 November 2016
    0 references
    hybrid systems
    0 references
    reachability
    0 references
    mortality
    0 references
    piecewise affine maps
    0 references
    (hierarchical) piecewise constant derivatives
    0 references

    Identifiers