{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:19:39Z","timestamp":1725531579730},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006012"},{"type":"electronic","value":"9783642006029"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00602-9_20","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T16:49:45Z","timestamp":1241455785000},"page":"276-290","source":"Crossref","is-referenced-by-count":10,"title":["Decompositional Construction of Lyapunov Functions for Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Jens","family":"Oehlerking","sequence":"first","affiliation":[]},{"given":"Oliver","family":"Theel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Johansson, M., Rantzer, A.: On the computation of piecewise quadratic Lyapunov functions. In: 36th IEEE Conference on Decision and Control (CDC), pp. 3515\u20133520 (1997)","DOI":"10.1109\/CDC.1997.652393"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Pettersson, S., Lennartson, B.: Stability and robustness for hybrid systems. In: 35th IEEE Conference on Decision and Control (CDC), pp. 1202\u20131207 (1996)","DOI":"10.1109\/CDC.1996.572653"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"P.A. Parrilo","year":"2003","unstructured":"Parrilo, P.A.: Semidefinite programming relaxations for semialgebraic problems. Mathematical Programming, Series B\u00a096, 293\u2013320 (2003)","journal-title":"Mathematical Programming, Series B"},{"key":"20_CR4","unstructured":"Prajna, S., Papachristodoulou, A.: Analysis of switched and hybrid systems \u2013 beyond piecewise quadratic models. In: 22nd American Control Conference (ACC) (2003)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Papachristodoulou, A., Prajna, S.: Analysis of non-polynomial systems using the sums of squares decomposition. Positive Polynomials in Control, 23\u201343 (2005)","DOI":"10.1007\/10997703_2"},{"issue":"1","key":"20_CR6","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1137\/040619429","volume":"45","author":"D. Chatterjee","year":"2006","unstructured":"Chatterjee, D., Liberzon, D.: Stability analysis of deterministic and stochastic switched systems via a comparison principle and multiple Lyapunov functions. SIAM Journal on Control and Optimization\u00a045(1), 174\u2013206 (2006)","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"5","key":"20_CR7","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1016\/j.sysconle.2004.09.006","volume":"54","author":"L. Vu","year":"2005","unstructured":"Vu, L., Liberzon, D.: Common Lyapunov functions for families of commuting nonlinear systems. Systems and Control Letters\u00a054(5), 405\u2013416 (2005)","journal-title":"Systems and Control Letters"},{"issue":"3","key":"20_CR8","doi-asserted-by":"publisher","first-page":"734","DOI":"10.1109\/TAC.2008.919257","volume":"53","author":"C. Cai","year":"2008","unstructured":"Cai, C., Teel, A.R., Goebel, R.: Smooth Lyapunov functions for hybrid systems part II: (pre)asymptotically stable compact sets. IEEE Transactions on Automatic Control\u00a053(3), 734\u2013748 (2008)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"20_CR9","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777","volume-title":"Linear Matrix Inequalities in System and Control Theory","author":"S. Boyd","year":"1994","unstructured":"Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory. SIAM, Philadelphia (1994)"},{"key":"20_CR10","unstructured":"Pettersson, S.: Analysis and Design of Hybrid Systems. PhD thesis, Chalmers University of Technology, Gothenburg (1999)"},{"issue":"2","key":"20_CR11","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. SIAM Journal on Computing\u00a01(2), 146\u2013160 (1972)","journal-title":"SIAM Journal on Computing"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1137\/S1052623496307510","volume":"8","author":"I. Das","year":"1998","unstructured":"Das, I., Dennis, J.: Normal-boundary intersection: a new method for generating the Pareto surface in multicriteria optimization problems. SIAM J. Optimization\u00a08, 631\u2013657 (1998)","journal-title":"SIAM J. Optimization"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00602-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:34:01Z","timestamp":1558298041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00602-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006012","9783642006029"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00602-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}