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
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