{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,8]],"date-time":"2025-04-08T04:19:15Z","timestamp":1744085955578,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329722"},{"type":"electronic","value":"9783642329739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32973-9_28","type":"book-chapter","created":{"date-parts":[[2012,8,29]],"date-time":"2012-08-29T14:44:22Z","timestamp":1346251462000},"page":"334-348","source":"Crossref","is-referenced-by-count":0,"title":["Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems"],"prefix":"10.1007","author":[{"given":"Zhikun","family":"She","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haoyang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"28_CR1","doi-asserted-by":"publisher","first-page":"2118","DOI":"10.1137\/S0363012994272630","volume":"35","author":"V.D. Blondel","year":"1997","unstructured":"Blondel, V.D., Bournez, O., Koiran, P., Tsitsiklis, J.N.: NP-hardness of Some Linear Control Design Problems. SIAM J. Control and Optimization\u00a035(8), 2118\u20132127 (1997)","journal-title":"SIAM J. Control and Optimization"},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1006\/jcss.2000.1737","volume":"62","author":"V.D. Blondel","year":"2001","unstructured":"Blondel, V.D., Tsitsiklis, J.N.: The Stability of Saturated Linear Dynamical Systems is Undecidable. Journal of Computer and System Sciences\u00a062(3), 442\u2013462 (2001)","journal-title":"Journal of Computer and System Sciences"},{"issue":"4","key":"28_CR3","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1109\/9.664150","volume":"43","author":"M.S. Branicky","year":"1998","unstructured":"Branicky, M.S.: Multiple Lyapunov Functions and other Analysis Tools for Switched and Hybrid Systems. IEEE Transactions on Automatic Control\u00a043(4), 751\u2013760 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"28_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/980175.980185","volume":"38","author":"C.W. Brown","year":"2004","unstructured":"Brown, C.W.: QEPCAD B: A System for Computing with Semi-algebraic Sets via Cylindrical Algebraic Decomposition. SIGSAM Bull\u00a038(1), 23\u201324 (2004)","journal-title":"SIGSAM Bull"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Chen, C., Lemaire, F., Li, L., Maza, M.M., Pan, W., Xie, Y.: The ConstructibleSetTools and ParametricSystemsTools Modules of the RegularChains library in Maple. In: Proc. of the International Conf. on Computational Science and Its Applications, pp. 342\u2013352 (2008)","DOI":"10.1109\/ICCSA.2008.61"},{"issue":"5","key":"28_CR6","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/TAC.2005.846594","volume":"50","author":"D. Cheng","year":"2005","unstructured":"Cheng, D., Guo, L., Lin, Y., Wang, Y.: Stabilization of Switched Linear Systems. IEEE Transactions on Automatic Control\u00a050(5), 661\u2013666 (2005)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"1883","DOI":"10.1109\/TAC.2002.804474","volume":"47","author":"J. Daafouz","year":"2002","unstructured":"Daafouz, J., Riedinger, R., Iung, C.: Stability Analysis and Control Synthesis for Switched Systems: A Switched Lyapunov Function Approach. IEEE Transactions on Automatic Control\u00a047, 1883\u20131887 (2002)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"7","key":"28_CR8","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/5.871309","volume":"88","author":"R.A. Decarlo","year":"2000","unstructured":"Decarlo, R.A., Braanicky, M.S., Pettersson, S., Lennartson, B.: Perspectives and Results on the Stability and Stabilisability of Hybrid Systems. Proceedings of the IEEE\u00a088(7), 1069\u20131082 (2000)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"28_CR9","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: REDLOG: Computer Algebra Meets Computer Logic. SIGSAM Bull\u00a031(2), 2\u20139 (1997)","journal-title":"SIGSAM Bull"},{"issue":"7","key":"28_CR10","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1109\/9.508913","volume":"41","author":"E. Feron","year":"1996","unstructured":"Feron, E., Apkarian, P., Gahinet, P.: Analysis and Synthesis of Robust Control Systems via Parameter-dependent Lyapunov Functions. IEEE Transactions on Automatic Control\u00a041(7), 1041\u20131046 (1996)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"4","key":"28_CR11","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1080\/00207170903384321","volume":"83","author":"Z.H. Huang","year":"2010","unstructured":"Huang, Z.H., Xiang, C., Lin, H., Lee, T.H.: Necessary and Sufficient Conditions for Regional Stabilisability of Generic Switched Linear Systems with a Pair of Planar Subsystems. International Journal of Control\u00a083(4), 694\u2013715 (2010)","journal-title":"International Journal of Control"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Hespanha, J.P., Morse, A.S.: Stability of Switched Systems with Average Dwell-time. In: Proceedings of the 38th Conference on Decision and Control, pp. 2655\u20132660 (1999)","DOI":"10.1109\/CDC.1999.831330"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Lunze, J., Lamnabhi-Lagarrigue, F.: Handbook of Hybrid Systems Control: Theory, Tools, Applications. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511807930"},{"key":"28_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in Systems and Control","author":"D. Liberzon","year":"2003","unstructured":"Liberzon, D.: Switching in Systems and Control. Birkhauser, Boston (2003)"},{"issue":"5","key":"28_CR15","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/37.793443","volume":"19","author":"D. Liberzon","year":"1999","unstructured":"Liberzon, D., Morse, A.S.: Basic Problems in Stability and Design of Switched Systems. IEEE Control Systems Magazine\u00a019(5), 59\u201370 (1999)","journal-title":"IEEE Control Systems Magazine"},{"issue":"4","key":"28_CR16","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1109\/TAC.2007.894515","volume":"52","author":"H. Lin","year":"2007","unstructured":"Lin, H., Antasklis, P.J.: Switching Stabilisability for Continuous-time Uncertain Switched Linear Systems. IEEE Transactions on Automatic Control\u00a052(4), 633\u2013646 (2007)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"28_CR17","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TAC.2008.2012009","volume":"52","author":"H. Lin","year":"2009","unstructured":"Lin, H., Antasklis, P.J.: Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results. IEEE Transactions on Automatic Control\u00a052(2), 308\u2013322 (2009)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"28_CR18","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1109\/9.554398","volume":"42","author":"K.S. Narendra","year":"1997","unstructured":"Narendra, K.S., Balakrishnan, J.: Adaptive Control using Multiple Models and Switching. IEEE Transactions on Automatic Control\u00a042(2), 171\u2013187 (1997)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"28_CR19","doi-asserted-by":"publisher","first-page":"1669","DOI":"10.1109\/9.880617","volume":"45","author":"K.S. Narendra","year":"2000","unstructured":"Narendra, K.S., Xiang, C.: Adaptive Control of Discrete-time Systems using Multiple Models. IEEE Transactions on Automatic Control\u00a045, 1669\u20131686 (2000)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"28_CR20","unstructured":"Pettersson, S.: Synthesis of Switched Linear Systems. In: Proceedings of the 42nd Conference on Decision and Control, pp. 5283\u20135288 (2003)"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Pettersson, S., Lennartson, B.: Stabilization of Hybrid Systems Using a Min-Projection Stategy. In: Proceedings of the American Control Conference, pp. 223\u2013288 (2001)","DOI":"10.1109\/ACC.2001.945546"},{"issue":"7","key":"28_CR22","doi-asserted-by":"publisher","first-page":"4377","DOI":"10.1137\/090749955","volume":"48","author":"S. Ratschan","year":"2010","unstructured":"Ratschan, S., She, Z.: Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functions. SIAM Journal on Control and Optimization\u00a048(7), 4377\u20134394 (2010)","journal-title":"SIAM Journal on Control and Optimization"},{"key":"28_CR23","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1080\/0020717031000091432","volume":"76","author":"L. Rodrigues","year":"2003","unstructured":"Rodrigues, L., Hassibi, A., How, J.P.: Observer-based Control of Piecewise-affine Systems. International Journal of Control\u00a076, 459\u2013477 (2003)","journal-title":"International Journal of Control"},{"key":"28_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109998","volume-title":"An Introduction to Hybrid Dynamical Systems","author":"A. Schaft van der","year":"2000","unstructured":"van der Schaft, A., Schumacher, H.: An Introduction to Hybrid Dynamical Systems. Springer, London (2000)"},{"issue":"4","key":"28_CR25","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1016\/j.nahs.2009.04.010","volume":"3","author":"Z. She","year":"2009","unstructured":"She, Z., Xia, B., Xiao, R., Zheng, Z.: A semi-algebraic approach for asymptotic stability analysis. Nonlinear Analysis: Hybrid System\u00a03(4), 588\u2013596 (2009)","journal-title":"Nonlinear Analysis: Hybrid System"},{"key":"28_CR26","doi-asserted-by":"crossref","unstructured":"She, Z., Xue, B., Zheng, Z.: Algebraic Analysis on Asymptotic Stability of Continuous Dynamical Systems. In: Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pp. 313\u2013320 (2011)","DOI":"10.1145\/1993886.1993933"},{"key":"28_CR27","doi-asserted-by":"crossref","unstructured":"She, Z., Xue, B.: Algebraic Analysis on Asymptotic Stability of Switched Hybrid Systems. In: Proceedings of the 15th International Conference on Hybrid Systems: Computation and Control, pp. 197\u2013196 (2012)","DOI":"10.1145\/2185632.2185661"},{"key":"28_CR28","unstructured":"She, Z., Yu, J., Xue, B.: Controllable Laws for Stability Analysis of Switched Linear Systems. In: Proceedings of the 3rd IEEE International Conference on Computer and Network Technology, vol.\u00a013, pp. 127\u2013131 (2011)"},{"key":"28_CR29","doi-asserted-by":"crossref","unstructured":"Shorten, R.N., Narendra, K.S.: Necessary and Sufficient Conditions for the Existence of a Common Quadratic Lyapunov Function for Two Stable Second Order Linear Time-invariant Systems. In: Proceedings of the American Control Conference, pp. 1410\u20131414 (1999)","DOI":"10.1109\/ACC.2000.878913"},{"issue":"4","key":"28_CR30","first-page":"553","volume":"35","author":"E. Skafidas","year":"1999","unstructured":"Skafidas, E., Evans, R.J., Savkin, A.V., Petersen, I.R.: Stability Results for Switched Controller Systems. IEEE Transactions on Automatic Control\u00a035(4), 553\u2013564 (1999)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"28_CR31","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. Univ. of California Press (1951)","DOI":"10.1525\/9780520348097"},{"issue":"2","key":"28_CR32","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1016\/S0947-3580(98)70108-6","volume":"4","author":"M.A. Wicks","year":"1998","unstructured":"Wicks, M.A., Peleties, P., DeCarlo, R.A.: Switched Controller Design for the Quadratic Stabilization of a Pair of Unstable Systems. European J. of Control\u00a04(2), 140\u2013147 (1998)","journal-title":"European J. of Control"},{"issue":"14","key":"28_CR33","doi-asserted-by":"publisher","first-page":"1261","DOI":"10.1080\/002071700421664","volume":"73","author":"X. Xu","year":"2000","unstructured":"Xu, X., Antasklis, P.J.: Switching Stabilisability for Continuous-time Uncertain Switched Linear Systems. International Journal of Control\u00a073(14), 1261\u20131279 (2000)","journal-title":"International Journal of Control"},{"key":"28_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/978-3-540-24743-2_41","volume-title":"Hybrid Systems: Computation and Control","author":"X. Xu","year":"2004","unstructured":"Xu, X., Zhai, G.: On Practical Stability and Stabilization of Hybrid and Switched Systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 615\u2013630. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32973-9_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T12:56:10Z","timestamp":1744030570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32973-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329722","9783642329739"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32973-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}