Conic abstractions for hybrid systems (Q1683444)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Conic abstractions for hybrid systems
scientific article

    Statements

    Conic abstractions for hybrid systems (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1 December 2017
    0 references
    0 references
    affine system
    0 references
    hybrid system
    0 references
    reachability analysis
    0 references
    conic abstraction
    0 references
    discrete abstraction
    0 references
    0 references