Computational complexity of static output feedback stabilization
We study the computational complexity of static output feedback (SOF) stabilization for continuous-time linear systems. For rational plant data, we prove that this problem is complete for the existential theory of the reals: it is equivalent, under polynomial-time transformations, to deciding whether a system of polynomial equations and inequalities with integer coefficients has a real solution. This result holds even for controllable and observable integer plants with two inputs. We characterize the effective gain dimension as the minimum number of linear combinations of gain entries that…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.00390
curl -X POST /api/v1/records/arxiv/2610.00390/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.00390/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'