Towards scalable algorithms with formal guarantees for Lyapunov analysis of control systems via algebraic optimization.
Amir Ali AhmadiPablo A. ParriloPublished in: CDC (2014)
Keyphrases
- optimization methods
- discrete optimization
- optimization problems
- control system
- optimization approaches
- highly scalable
- statistical analysis
- global optimization
- highly efficient
- theoretical analysis
- optimization algorithm
- combinatorial optimization
- control scheme
- sufficient conditions
- stability analysis
- linear algebra
- worst case
- data structure