An Optimization Approach to Verifying and Synthesizing K-Cooperative Systems
Abstract
Differential positivity and K-cooperativity, a special case of differential positivity, extend differential approaches to control to nonlinear systems with multiple equilibria, such as switches or multi-agent consensus. To apply this theory, we reframe conditions for strict K-cooperativity as an optimization problem. Geometrically, the conditions correspond to finding a cone that a set of linear operators leave invariant. Even though solving the optimization problem is hard, we combine the optimization perspective with the geometric intuition to construct a heuristic cone-finding algorithm centered around Linear Programming (LP). The algorithm we obtain is unique in that it modifies existing rays of a candidate cone instead of adding new ones. This enables us to also take a first step in tackling the synthesis problem for K-cooperative systems. We demonstrate our approach on some examples, including one in which we repurpose our algorithm to obtain a novel alternative tool for computing polyhedral Lyapunov functions of bounded complexity.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2019
- DOI:
- 10.48550/arXiv.1911.07796
- arXiv:
- arXiv:1911.07796
- Bibcode:
- 2019arXiv191107796K
- Keywords:
-
- Mathematics - Optimization and Control;
- Electrical Engineering and Systems Science - Systems and Control
- E-Print:
- 8 pages, to be presented in the 21st IFAC World Congress