{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T17:46:20Z","timestamp":1745430380553},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642235672"},{"type":"electronic","value":"9783642235689"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23568-9_26","type":"book-chapter","created":{"date-parts":[[2011,8,30]],"date-time":"2011-08-30T20:37:54Z","timestamp":1314736674000},"page":"333-344","source":"Crossref","is-referenced-by-count":4,"title":["Computing a Basin of Attraction to a Target Region by Solving Bilinear Semi-Definite Problems"],"prefix":"10.1007","author":[{"given":"Zhikun","family":"She","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bai","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1002\/rnc.967","volume":"15","author":"G. Chesi","year":"2005","unstructured":"Chesi, G., Garulli, A., Tesi, A., Vicino, A.: LMI-based Computation of Optimal Quadaraic Lyapunov Function for Odd Polynomial Systems. Int. J. Robust and Nonlinear Control\u00a015, 35\u201349 (2005)","journal-title":"Int. J. Robust and Nonlinear Control"},{"issue":"12","key":"26_CR2","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.1109\/9.40768","volume":"34","author":"H.D. Chiang","year":"1989","unstructured":"Chiang, H.D., Thorp, J.S.: Stability regions of nonlinear dynamical systems: A constructive methodology. IEEE Transactions on Automatic Control\u00a034(12), 1229\u20131241 (1989)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Forsman, K.: Construction of Lyapunov functions using Gr\u00f6bner bases. In: Proceedings of the 30th IEEE Conference on Decision and Control, pp. 798\u2013799 (1991)","DOI":"10.1109\/CDC.1991.261424"},{"issue":"8","key":"26_CR4","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1109\/TAC.1985.1104057","volume":"30","author":"R. Genesio","year":"1985","unstructured":"Genesio, R., Tartaglia, M., Vicino, A.: On the estimation of asymptotic stability regions: State of the art and new proposals. IEEE Trans. on Automatic Control\u00a030(8), 747\u2013755 (1985)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"26_CR5","unstructured":"Jarvis-Wloszek, Z.: Lyapunov based analysis and controller synthesis for polynomial systems using sum-of-squares optimization, Ph.D. Dissertation, University of California (2003)"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"John Koo, T., Su, H.: A Computational Approach for Estimating Stability Regions. In: Proc. of the IEEE Conference on Computer Aided Control Systems Design, pp. 62\u201368 (2006)","DOI":"10.1109\/CACSD.2006.285445"},{"key":"26_CR7","unstructured":"Khalil, H.C.: Nonlinear Systems. Prentice Hall, Englewood Cliffs (2002)"},{"key":"26_CR8","unstructured":"Koc\u0308vara, M., Stingl, M.: PENBMI Users Guide (Version 2.1) (2005), http:\/\/www.penopt.com"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Lakshmikantham, V., Leela, S., Martynyuk, A.A.: Practical Stability of Nonlinear System. World Scientific, Singapore (1990)","DOI":"10.1142\/1192"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Levin, A.: An analytical method of estimating the domain of attraction for polynomial differential equations. IEEE Transactions on Automatic Control\u00a039(12), 2471\u20132475 (1994)","DOI":"10.1109\/9.362845"},{"issue":"7","key":"26_CR11","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1109\/TAC.2005.851439","volume":"50","author":"I.M. Mitchell","year":"2005","unstructured":"Mitchell, I.M., Bayen, A.M., Tomlin, C.J.: A Time-Dependent HamiltonCJacobi Formulation of Reachable Sets for Continuous Dynamic Games. IEEE Transactions on Automatic Control\u00a050(7), 947\u2013957 (2005)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/0005-1098(74)90087-9","volume":"10","author":"E. Noldus","year":"1974","unstructured":"Noldus, E., Spriet, J., Verriest, E., Van Cauwenberghe, A.: A New Lyapunov Technique for Stability Analysis of Chemical Reactors. Automatica\u00a010, 675\u2013680 (1974)","journal-title":"Automatica"},{"key":"26_CR13","unstructured":"Pai, M.A.: Power System Stability. North-Holland, Amsterdam (1981)"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"Papachristodoulou, A., Prajna, S.: On the construction of Lyapunov functions using the sum of squares decomposition. In: Proceedings of the 41st IEEE Conference on Decision and Control, pp. 3482\u20133487 (2002)","DOI":"10.1109\/CDC.2002.1184414"},{"key":"26_CR15","doi-asserted-by":"publisher","first-page":"307","DOI":"10.3166\/ejc.9.307-321","volume":"9","author":"P. Parrilo","year":"2003","unstructured":"Parrilo, P., Lall, S.: Semidefinite programming relaxations and algebraic optimization in control. Eur. J. Control\u00a09, 307\u2013321 (2003)","journal-title":"Eur. J. Control"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Peterfreund, N., Baram, Y.: Convergence analysis of nonlinear dynamical systems by nested Lyapunov functions. IEEE Trans. on Automatic Control\u00a043(8), 1179\u20131184 (1998)","DOI":"10.1109\/9.704997"},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-75454-1_23","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A. Podelski","year":"2007","unstructured":"Podelski, A., Wagner, S.: Region stability proofs for hybrid systems. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 320\u2013335. Springer, Heidelberg (2007)"},{"key":"26_CR18","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1080\/00207177508922012","volume":"21","author":"D.N. Shields","year":"1975","unstructured":"Shields, D.N., Storey, C.: The behaviour of optimal Lyapunov functions. Int. J. Control\u00a021, 561\u2013573 (1975)","journal-title":"Int. J. Control"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Ratschan, S., She, Z.: Safety Verification of Hybrid Systems by Constraint Propagation-based Abstraction Refinement. ACM Transactions on Embedded Computing Systems\u00a06(1), Article No. 8, 1\u201323 (2007)","DOI":"10.1145\/1210268.1210276"},{"issue":"7","key":"26_CR20","doi-asserted-by":"publisher","first-page":"4377","DOI":"10.1137\/090749955","volume":"48","author":"S. Ratschan","year":"2010","unstructured":"Ratschan, S., She, Z.: Provding 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":"26_CR21","unstructured":"Ryali, V., Moudgalya, K.M.: Practical Stability Analysis of Uncertain Nonlinear Systems. In: National Conference on Control and Dynamic Systems, IIT Bombay, pp. 27\u201329 (2005)"},{"key":"26_CR22","doi-asserted-by":"crossref","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)","DOI":"10.1016\/j.nahs.2009.04.010"},{"issue":"1","key":"26_CR23","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.cam.2008.11.003","volume":"230","author":"Z. She","year":"2009","unstructured":"She, Z., Zheng, Z.: Condition number based complexity estimate for computing local extrema. J. of Computational and Applied Mathematics\u00a0230(1), 233\u2013242 (2009)","journal-title":"J. of Computational and Applied Mathematics"},{"issue":"8","key":"26_CR24","doi-asserted-by":"publisher","first-page":"2670","DOI":"10.1016\/j.cam.2010.11.018","volume":"235","author":"Z. She","year":"2011","unstructured":"She, Z., Xia, B., Zheng, Z.: Condition number based complexity estimate for solving polynomial systems. J. of Computational and Applied Mathematics\u00a0235(8), 2670\u20132678 (2011)","journal-title":"J. of Computational and Applied Mathematics"},{"key":"26_CR25","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 (2011)","DOI":"10.1145\/1993886.1993933"},{"issue":"2","key":"26_CR26","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1109\/TAC.2007.914221","volume":"53","author":"W. Tan","year":"2008","unstructured":"Tan, W., Packard, A.: Stability region analysis using polynomial and composite polynomial Lyapunov functions and sum-of-squares programming. IEEE Transactions on Automatic Control\u00a053(2), 565\u2013571 (2008)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"26_CR27","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. University of California Press, Berkeley (1951)"},{"key":"26_CR28","volume-title":"Nonlinear and Optimal Control Systems","author":"T. Vincent","year":"1997","unstructured":"Vincent, T., Grantham, W.: Nonlinear and Optimal Control Systems. Wiley-Interscience, New York (1997)"},{"key":"26_CR29","unstructured":"Wang, T., Lall, S., West, M.: Polynomial level-set methods for nonlinear dynamical systems analysis. In: Proc. of Allerton Conf. on Communication, Control and Computing (2005)"},{"key":"26_CR30","doi-asserted-by":"crossref","unstructured":"Weiss, L.: Converse theorems for finite time stability. SAIM Journal on Applied Mathematics, 1319\u20131324 (1968)","DOI":"10.1137\/0116110"},{"issue":"11","key":"26_CR31","doi-asserted-by":"publisher","first-page":"1897","DOI":"10.1109\/TAC.2005.858680","volume":"50","author":"X. Xu","year":"2005","unstructured":"Xu, X., Zhai, G.: Practical Stability and Stabilization of Hybrid and Switched System. IEEE Trans. Automat. Control\u00a050(11), 1897\u20131903 (2005)","journal-title":"IEEE Trans. Automat. Control"}],"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-23568-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T04:46:31Z","timestamp":1638420391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23568-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642235672","9783642235689"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23568-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}