{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:14:41Z","timestamp":1761488081578,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789284"},{"type":"electronic","value":"9783540789291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78929-1_32","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T09:01:58Z","timestamp":1216285318000},"page":"443-456","source":"Crossref","is-referenced-by-count":7,"title":["Distributed Lyapunov Functions in Analysis of Graph Models of Software"],"prefix":"10.1007","author":[{"given":"Mardavij","family":"Roozbehani","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Megretski","sequence":"additional","affiliation":[]},{"given":"Emilio","family":"Frazzoli","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Feron","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Boyd, S., Ghaoui, L.E., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in Systems and Control Theory. Society for Industrial and Applied Math. (1994)","DOI":"10.1137\/1.9781611970777"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Bemporad, A., Mignone, D., Morari, M.: Moving horizon estimation for hybrid systems and fault detection. In: Proc. American Control Conf., pp. 2471\u20132475 (1999)","DOI":"10.1109\/ACC.1999.786492"},{"key":"32_CR3","unstructured":"Bertsimas, D., Tsitsikilis, J.: Introduction to Linear Optimization. Athena Scientific (1997)"},{"issue":"1","key":"32_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/9.654885","volume":"43","author":"M.S. Branicky","year":"1998","unstructured":"Branicky, M.S., Borkar, V.S., Mitter, S.K.: A unified framework for hybrid control: Model and optimal control theory. IEEE Trans. Automatic Control\u00a043(1), 31\u201345 (1998)","journal-title":"IEEE Trans. Automatic Control"},{"issue":"2","key":"32_CR5","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"32_CR6","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. 4th Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"issue":"8","key":"32_CR8","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S. Prajna","year":"2007","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.: A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates. IEEE Trans. on Automatic Control\u00a052(8), 1415\u20131428 (2007)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"4","key":"32_CR9","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1109\/9.664157","volume":"43","author":"M. Johansson","year":"1998","unstructured":"Johansson, M., Rantzer, A.: Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Trans. on Automatic Control\u00a043(4), 555\u2013559 (1998)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"32_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"2004","unstructured":"Alur, R., Pappas, G.J. (eds.): HSCC 2004. LNCS, vol.\u00a02993. Springer, Heidelberg (2004)"},{"key":"32_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49163-5_10","volume-title":"Hybrid Systems V","author":"G. Lafferriere","year":"1999","unstructured":"Lafferriere, G., Pappas, G.J., Sastry, S.: Hybrid systems with finite bisimulations. In: Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.) HS 1997. LNCS, vol.\u00a01567, Springer, Heidelberg (1999)"},{"issue":"3","key":"32_CR12","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","volume":"35","author":"J. Lygeros","year":"1999","unstructured":"Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica\u00a035(3), 349\u2013370 (1999)","journal-title":"Automatica"},{"key":"32_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3540-6","volume-title":"Software Reliability Methods","author":"D.A. Peled","year":"2001","unstructured":"Peled, D.A.: Software Reliability Methods. Springer, New York (2001)"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Parrilo, P.A.: Minimizing Polynomial Functions. In: Algorithmic and Quantitative Real Algebraic Geometry. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a060, pp. 83\u201399. AMS","DOI":"10.1090\/dimacs\/060\/08"},{"key":"32_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1007\/978-3-540-31954-2_39","volume-title":"Hybrid Systems: Computation and Control","author":"M. Roozbehani","year":"2005","unstructured":"Roozbehani, M., Feron, \u00c9., Megrestki, A.: Modeling, Optimization and Computation for Software Verification. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 606\u2013622. Springer, Heidelberg (2005)"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"Roozbehani, M., Megretski, A., Feron, E.: Convex optimization proves software correctness. In: Proc. American Control Conf., pp. 1395\u20131400 (2005)","DOI":"10.1109\/ACC.2005.1470160"},{"key":"32_CR17","unstructured":"Roozbehani, M., Megretski, A., Feron, E.: Optimization of Lyapunov Invariants for Certification of Software Systems. IEEE Trans. Automatic Control (submitted, 2007)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78929-1_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T01:49:35Z","timestamp":1738288175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78929-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789284","9783540789291"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78929-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}