Discrete-time control for rectangular hybrid automata (Q1960531)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Discrete-time control for rectangular hybrid automata
scientific article

    Statements

    Discrete-time control for rectangular hybrid automata (English)
    0 references
    0 references
    0 references
    12 January 2000
    0 references
    0 references
    hybrid systems
    0 references
    computer-aided verification
    0 references
    controller synthesis
    0 references