Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems (Q6165341)
From MaRDI portal
scientific article; zbMATH DE number 7720587
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems |
scientific article; zbMATH DE number 7720587 |
Statements
Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems (English)
0 references
31 July 2023
0 references
stability analysis
0 references
Lyapunov functions
0 references
counterexample-guided methods
0 references
linear optimization
0 references
hybrid systems
0 references
