Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem

Klaus Röbenack; Rick Voßwinkel

doi:10.14232/actacyb.24.3.2020.8

Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem

Klaus Röbenack Institute of Control Theory, TU Dresden, Germany https://orcid.org/0000-0002-3347-0864
Rick Voßwinkel Department of Electrical Engineering and Information Technology, HWTK Leipzig University of Applied Sciences, Germany https://orcid.org/0000-0002-3230-3853

DOI: https://doi.org/10.14232/actacyb.24.3.2020.8

Keywords: stabilization, linear time-invariant systems, eigenvalue placement, quantifier elimination

Abstract

This contribution deals with the static output feedback problem of linear time-invariant systems. This is still an area of active research, in contrast to the observer-based state feedback problem, which has been solved decades ago. We consider the formulation and solution of static output feedback design problems using quantifier elimination techniques. Stabilization as well as more specified eigenvalue placement scenarios are the focus of the paper.

Downloads

Download data is not yet available.

Published

2020-03-16

How to Cite

Röbenack, K., & Voßwinkel, R. (2020). Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem. Acta Cybernetica, 24(3), 409-427. https://doi.org/10.14232/actacyb.24.3.2020.8

Download Citation

Issue

Vol 24 No 3 (2020): Special Issue of the 11th Summer Workshop on Interval Methods

Section

Uncertainty Modeling, Software, Verified Computing and Optimization