{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T17:25:26Z","timestamp":1649179526785},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SCI CHINA SER F"],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1007\/s11432-007-0053-2","type":"journal-article","created":{"date-parts":[[2007,9,20]],"date-time":"2007-09-20T01:33:41Z","timestamp":1190252021000},"page":"719-731","source":"Crossref","is-referenced-by-count":4,"title":["Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems"],"prefix":"10.1007","volume":"50","author":[{"given":"Qiang","family":"Guan","sequence":"first","affiliation":[]},{"given":"Long","family":"Wang","sequence":"additional","affiliation":[]},{"given":"BiCan","family":"Xia","sequence":"additional","affiliation":[]},{"given":"Lu","family":"Yang","sequence":"additional","affiliation":[]},{"given":"WenSheng","family":"Yu","sequence":"additional","affiliation":[]},{"given":"ZhenBing","family":"Zeng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"53_CR1","series-title":"Lect Notes Contr Inf","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-19862-8","volume-title":"Simultaneous Stabilization of Linear Systems","author":"V. Blondel","year":"1994","unstructured":"Blondel V. Simultaneous Stabilization of Linear Systems. In: Lect Notes Contr Inf, Vol. 191. London: Springer-Verlag, 1994"},{"key":"53_CR2","volume-title":"Feedback Control Theory","author":"J. Doyle","year":"1991","unstructured":"Doyle J, Francis B, Tannenbaum A. Feedback Control Theory. New York: Macmillan Publishing Co., 1991"},{"key":"53_CR3","volume-title":"Control System Synthesis: A Factorization Approach","author":"M. Vidyasagar","year":"1985","unstructured":"Vidyasagar M. Control System Synthesis: A Factorization Approach. Massachusetts: The MIT Press, 1985."},{"issue":"4","key":"53_CR4","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1109\/TAC.1982.1103005","volume":"27","author":"R. Saeks","year":"1982","unstructured":"Saeks R, Murray J. Fractional representation, algebraic geometry and the simultaneous stabilization problem. IEEE T Automat Contr, 1982, 27(4): 895\u2013903","journal-title":"IEEE T Automat Contr"},{"issue":"3","key":"53_CR5","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1109\/TAC.1980.1102374","volume":"25","author":"C. Desoer","year":"1980","unstructured":"Desoer C, Liu R, Murray J, et al. Feedback system design: the fractional representation approach to analysis and synthesis. IEEE T Automat Contr, 1980, 25(3): 399\u2013412","journal-title":"IEEE T Automat Contr"},{"issue":"1","key":"53_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TAC.1976.1101139","volume":"21","author":"D. Youla","year":"1976","unstructured":"Youla D, Bongiorno J, Jabr H. Modern Wiener-Hopf design of optimal controllers-part I: The single-input-output case. IEEE T Automat Contr, 1976, 21(1): 3\u201313","journal-title":"IEEE T Automat Contr"},{"issue":"3","key":"53_CR7","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1109\/TAC.1976.1101223","volume":"21","author":"D. Youla","year":"1976","unstructured":"Youla D, Jabr H, Bongiorno J. Modern Wiener-Hopf design of optimal controllers-part II: The multivariable case. IEEE T Automat Contr, 1976, 21(3): 319\u2013338","journal-title":"IEEE T Automat Contr"},{"key":"53_CR8","volume-title":"Discrete Linear Control: The Polynomial Equation Approach","author":"V. Kucera","year":"1979","unstructured":"Kucera V. Discrete Linear Control: The Polynomial Equation Approach. New York: Wiley, 1979"},{"issue":"5","key":"53_CR9","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/TAC.1982.1103086","volume":"27","author":"M. Vidyasagar","year":"1982","unstructured":"Vidyasagar M, Viswanadham N. Algebraic design techniques for reliable stabilization. IEEE T Automat Contr, 1982, 27(5): 1085\u20131095","journal-title":"IEEE T Automat Contr"},{"issue":"2","key":"53_CR10","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0005-1098(74)90021-1","volume":"10","author":"D. Youla","year":"1974","unstructured":"Youla D, Bongiorno J, Lu C. Single-loop feedback stabilization of linear multivariable plants. Automatica, 1974, 10(2): 159\u2013173","journal-title":"Automatica"},{"issue":"2","key":"53_CR11","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF01211744","volume":"6","author":"V. Blondel","year":"1993","unstructured":"Blondel V, Gevers M. Simultaneous stabilization of three linear systems is rationally undecidable. Math Control Signal, 1993, 6(2): 135\u2013145","journal-title":"Math Control Signal"},{"key":"53_CR12","doi-asserted-by":"crossref","unstructured":"Blondel V, Gevers M, Mortini R, et al. Stabilizable by a stable and by an inverse stable but not by a stable and inverse stable. In: Proceedings of the 31st Conference on Decision and Control, Tucson, Arizons, 1992. 832\u2013833","DOI":"10.1109\/CDC.1992.371608"},{"issue":"2","key":"53_CR13","doi-asserted-by":"crossref","first-page":"572","DOI":"10.1137\/S0363012991218815","volume":"32","author":"V. Blondel","year":"1994","unstructured":"Blondel V, Gevers M, Mortini R, et al. Simultaneous stabilization of three or more systems: Conditions on the real axis do not suffice. SIAM J Control Optim, 1994, 32(2): 572\u2013590","journal-title":"SIAM J Control Optim"},{"key":"53_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0807-8","volume-title":"Open Problems in Mathematical Systems and Control Theory","author":"V. Blondel","year":"1999","unstructured":"Blondel V, Sontag E D, Vidyasagar M, et al. Open Problems in Mathematical Systems and Control Theory. London: Springer-Verlag, 1999"},{"issue":"3","key":"53_CR15","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/S0167-6911(99)00023-7","volume":"37","author":"V. V. Patel","year":"1999","unstructured":"Patel V V. Solution to the \u201cChampagne Problem\u201d on the simultaneous stabilization of three plants. Syst Contr Lett, 1999, 37(3): 173\u2013175","journal-title":"Syst Contr Lett"},{"issue":"12","key":"53_CR16","doi-asserted-by":"crossref","first-page":"2085","DOI":"10.1016\/S0005-1098(02)00112-7","volume":"38","author":"V. V. Patel","year":"2002","unstructured":"Patel V V, Deodhare G, Viswanath T. Some applications of randomized algorithms for control system design. Automatica, 2002, 38(12): 2085\u20132092","journal-title":"Automatica"},{"issue":"3\u20134","key":"53_CR17","first-page":"167","volume":"29","author":"A. Leizarowitz","year":"1999","unstructured":"Leizarowitz A, Kogan J, Zeheb E. On simultaneous stabilization of linear plants. Lat Am Appl Res, 1999, 29(3\u20134): 167\u2013174","journal-title":"Lat Am Appl Res"},{"key":"53_CR18","volume-title":"Conformal Invariants: Topics in Geometric Function Theory (McGraw-Hill Series in Higher Mathematics)","author":"L. Ahlfors","year":"1973","unstructured":"Ahlfors L. Conformal Invariants: Topics in Geometric Function Theory (McGraw-Hill Series in Higher Mathematics). New York: McGraw-Hill Book Company, 1973"},{"key":"53_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6313-5","volume-title":"Functional of One Complex Variable","author":"J. Conway","year":"1978","unstructured":"Conway J. Functional of One Complex Variable. 2nd ed. New York: Springer-Verlag, 1978","edition":"2nd ed"},{"key":"53_CR20","doi-asserted-by":"crossref","unstructured":"Glouzin G. Geometric theory of functions of a complex variable. In: Translation of Math. Monographs, Vol. 26. American Math. Society, 1969","DOI":"10.1090\/mmono\/026"},{"key":"53_CR21","volume-title":"Conformal Mapping","author":"Z. Nehari","year":"1952","unstructured":"Nehari Z. Conformal Mapping. New York: McGraw-Hill Book Company, 1952"},{"key":"53_CR22","volume-title":"Real and Complex Analysis","author":"W. Rudin","year":"1987","unstructured":"Rudin W. Real and Complex Analysis. 3rd ed. New York: McGraw-Hill Company, 1987","edition":"3rd ed"},{"issue":"7","key":"53_CR23","first-page":"20","volume":"8","author":"L. Yang","year":"1998","unstructured":"Yang L. A dimension-decreasing algorithm with generic program for automated inequalities proving. High Tech Lett (in Chinese), 1998, 8(7): 20\u201325","journal-title":"High Tech Lett (in Chinese)"},{"issue":"5","key":"53_CR24","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/BF02948785","volume":"14","author":"L. Yang","year":"1999","unstructured":"Yang L. Recent advances in automated theorem proving on inequalities. J Comput Sci Tech, 1999, 14(5): 434\u2013446","journal-title":"J Comput Sci Tech"},{"issue":"1","key":"53_CR25","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF02713938","volume":"44","author":"L. Yang","year":"2001","unstructured":"Yang L, Hou X R, Xia B C. A complete algorithm for automated discovering of a class of inequality-type theorems. Sci China Ser F-Inf Sci, 2001, 44(1): 33\u201349","journal-title":"Sci China Ser F-Inf Sci"},{"key":"53_CR26","first-page":"281","volume-title":"Algorithmic Algebra and Logic, Proceedings of the A3L 2005","author":"L. Yang","year":"2005","unstructured":"Yang L, Xia B C. Real solution classifications for parametric semi-algebraic systems. In: Dolzmann A, Seidl A, Sturm T, eds. Algorithmic Algebra and Logic, Proceedings of the A3L 2005, Herstellung und Verlag, Norderstedt, 2005, 281\u2013289"},{"issue":"7","key":"53_CR27","first-page":"769","volume":"26","author":"l. Yang","year":"2003","unstructured":"Yang l, Xia S H. Automated proving for a class of constructive geometric inequalities, Chinese J Comput (in Chinese), 2003, 26(7): 769\u2013778","journal-title":"Chinese J Comput (in Chinese)"},{"key":"53_CR28","volume-title":"Matrix Theory","author":"F. Gantmacher","year":"1959","unstructured":"Gantmacher F. Matrix Theory. New York: Chelsea, 1959"},{"key":"53_CR29","volume-title":"Non-linear equations systems and automated theorem proving, Series in Nonlinear Sciences (in Chinese)","author":"L. Yang","year":"1996","unstructured":"Yang L, Zhang J Z, Hou X R. Non-linear equations systems and automated theorem proving, Series in Nonlinear Sciences (in Chinese). Shanghai: Shanghai Press of Science, Technology, and Education, 1996"},{"key":"53_CR30","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"Tarski A. A Decision Method for Elementary Algebra and Geometry. Berkeley: The University of California Press, 1951"},{"issue":"1","key":"53_CR31","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/TAC.1975.1100846","volume":"20","author":"B. Anderson","year":"1975","unstructured":"Anderson B, Bose N, Jury E. Output feedback stabilization and related problems \u2014 solution via decision methods. IEEE T Automat Contr, 1975, 20(1): 53\u201366","journal-title":"IEEE T Automat Contr"},{"key":"53_CR32","unstructured":"Wu W T. On the decision problem and mechanization of theorem-proving in elementary-geometry. Sci China, 1978, (21): 159\u2013172"},{"key":"53_CR33","volume-title":"Mechanical Theorem Proving in Geometries: Basic Principles (translated from the Chinese by Jin X, Wang D)","author":"W. T. Wu","year":"1984","unstructured":"Wu W T. Mechanical Theorem Proving in Geometries: Basic Principles (translated from the Chinese by Jin X, Wang D). New York: Springer-Verlag, 1984"},{"key":"53_CR34","volume-title":"Mathematics mechanization, Series in Mathematics Mechanization (in Chinese)","author":"W. T. Wu","year":"2003","unstructured":"Wu W T. Mathematics mechanization, Series in Mathematics Mechanization (in Chinese). Beijing: Science Press, 2003"},{"issue":"4","key":"53_CR35","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1137\/0213054","volume":"13","author":"D. S. Arnon","year":"1984","unstructured":"Arnon D S, Collins G E, McCallum S. Cylindrical algebraic decomposition I: The basic algorithm. SIAM J Comput, 1984, 13(4): 865\u2013877","journal-title":"SIAM J Comput"},{"issue":"4","key":"53_CR36","doi-asserted-by":"crossref","first-page":"878","DOI":"10.1137\/0213055","volume":"13","author":"D. S. Arnon","year":"1984","unstructured":"Arnon D S, Collins G E, McCallum S. Cylindrical algebraic decomposition II: An adjacency algorithm for the plane. SIAM J Comput, 1984, 13(4): 878\u2013889","journal-title":"SIAM J Comput"},{"issue":"3","key":"53_CR37","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"G. E. Collins","year":"1991","unstructured":"Collins G E, Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. J Symb Comput, 1991, 12(3): 299\u2013328","journal-title":"J Symb Comput"},{"issue":"6","key":"53_CR38","first-page":"628","volume":"39","author":"L. Yang","year":"1996","unstructured":"Yang L, Hou X R, Zeng Z B. A complete discrimination system for polynomials. Sci China Ser E-Tech Sci, 1996, 39(6): 628\u2013646","journal-title":"Sci China Ser E-Tech Sci"},{"key":"53_CR39","unstructured":"Nie Y Y. Criteria for the stability of polynomials. Mechanics (in Chinese), 1976, (2): 110\u2013116"},{"issue":"2","key":"53_CR40","first-page":"193","volume":"7","author":"W. T. Wu","year":"1994","unstructured":"Wu W T. On a finiteness theorem about problem involving inequalities. Syst Sci Math Sci, 1994, 7(2): 193\u2013200","journal-title":"Syst Sci Math Sci"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0053-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-007-0053-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0053-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T00:51:34Z","timestamp":1629766294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-007-0053-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":40,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,10]]}},"alternative-id":["53"],"URL":"https:\/\/doi.org\/10.1007\/s11432-007-0053-2","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10]]}}}