Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models (Q2980524)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
scientific article

    Statements

    Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models (English)
    0 references
    0 references
    0 references
    0 references
    3 May 2017
    0 references
    0 references
    0 references
    0 references
    0 references