Solution to the generalized champagne problem on simultaneous stabilization of linear systems
From MaRDI portal
Publication:2463841
DOI10.1007/s11432-007-0053-2zbMath1124.93030arXivmath/0607445OpenAlexW2034538454MaRDI QIDQ2463841
Bican Xia, Lu Yang, Zhenbing Zeng, Wensheng Yu, Qiang Guan, Long Wang
Publication date: 6 December 2007
Published in: Science in China. Series F (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0607445
linear systemsstabilizationsimultaneous stabilizationautomated theorem provingcomplex analysisChampagne problemgeneralized Champagne probleminequality-type theorem
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Partial cylindrical algebraic decomposition for quantifier elimination
- Solution to the ``Champagne problem on the simultaneous stabilisation of three plants
- Simultaneous stabilization of linear systems
- Simultaneous stabilizability of three linear systems is rationally undecidable
- Single-loop feedback-stabilization of linear multivariable dynamical plants
- Analytical structures and analysis of the simplest fuzzy PI controllers
- Recent advances in automated theorem proving on inequalities
- Feedback system design: The fractional representation approach to analysis and synthesis
- Fractional representation, algebraic geometry, and the simultaneous stabilization problem
- Algebraic design techniques for reliable stabilization
- Output feedback stabilization and related problems-solution via decision methods
- Modern Wiener--Hopf design of optimal controllers Part I: The single-input-output case
- Modern Wiener-Hopf design of optimal controllers--Part II: The multivariable case
- Extension of Stokes series for flow in a circular boundary
- Simultaneous Stabilization of Three or More Plants: Conditions on the Positive Real Axis Do Not Suffice
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Open problems in mathematical systems and control theory