Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (Q681342)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs
scientific article

    Statements

    Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (English)
    0 references
    0 references
    0 references
    30 January 2018
    0 references
    formal verification
    0 references
    static analysis
    0 references
    piecewise affine systems
    0 references
    piecewise quadratic Lyapunov functions
    0 references
    0 references
    0 references

    Identifiers