{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:57:57Z","timestamp":1725544677124},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331704"},{"type":"electronic","value":"9783540331711"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11730637_36","type":"book-chapter","created":{"date-parts":[[2006,2,24]],"date-time":"2006-02-24T06:57:14Z","timestamp":1140764234000},"page":"476-490","source":"Crossref","is-referenced-by-count":8,"title":["Verifying Average Dwell Time by Solving Optimization Problems"],"prefix":"10.1007","author":[{"given":"Sayan","family":"Mitra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nancy","family":"Lynch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Liberzon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1109\/9.664150","volume":"43","author":"M. Branicky","year":"1998","unstructured":"Branicky, M.: Multiple lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control\u00a043, 475\u2013482 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"36_CR2","volume-title":"Systems and Control: Foundations and Applications","author":"D. Liberzon","year":"2003","unstructured":"Liberzon, D.: Switching in Systems and Control. In: Systems and Control: Foundations and Applications, Birkhauser, Boston (2003)"},{"key":"36_CR3","doi-asserted-by":"publisher","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)"},{"key":"36_CR4","doi-asserted-by":"publisher","first-page":"1413","DOI":"10.1109\/9.539424","volume":"41","author":"A.S. Morse","year":"1996","unstructured":"Morse, A.S.: Supervisory control of families of linear set-point controllers, part 1: exact matching. IEEE Transactions on Automatic Control\u00a041, 1413\u20131431 (1996)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Hespanha, J., Morse, A.: Stability of switched systems with average dwell-time. In: Proceedings of 38th IEEE Conference on Decision and Control, pp. 2655\u20132660 (1999)","DOI":"10.1109\/CDC.1999.831330"},{"issue":"1","key":"36_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N. Lynch","year":"2003","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid I\/O automata. Information and Computation\u00a0185(1), 105\u2013157 (2003)","journal-title":"Information and Computation"},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Mitra, S., Liberzon, D.: Stability of hybrid automata with average dwell time: an invariant approach. In: Proceedings of the 43rd IEEE Conference on Decision and Control, Paradise Island, Bahamas (2005)","DOI":"10.1109\/CDC.2004.1430238"},{"key":"36_CR8","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/S0005-1098(02)00241-8","volume":"39","author":"J. Hespanha","year":"2003","unstructured":"Hespanha, J., Liberzon, D., Morse, A.: Hysteresis-based switching algorithms for supervisory control of uncertain systems. Automatica\u00a039, 263\u2013272 (2003)","journal-title":"Automatica"},{"key":"36_CR9","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press\/McGraw-Hill (1990)"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Livadas, C., Lygeros, J., Lynch, N.A.: High-level modeling and analysis of TCAS. In: Proceedings of the 20th IEEE Real-Time Systems Symposium (RTSS 1999), Phoenix, Arizona, pp. 115\u2013125 (1999)","DOI":"10.1109\/REAL.1999.818833"},{"key":"36_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","author":"S. Mitra","year":"2003","unstructured":"Mitra, S., Wang, Y., Lynch, N., Feron, E.: Safety verification of model helicopter controller using hybrid Input\/Output automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, Springer, Heidelberg (2003)"},{"key":"36_CR12","volume-title":"Proceedings of the 15th IEEE Real-Time Systems Symposium","author":"C. Heitmeyer","year":"1994","unstructured":"Heitmeyer, C., Lynch, N.: The generalized railroad crossing: A case study in formal verification of real-time system. In: Proceedings of the 15th IEEE Real-Time Systems Symposium, San Juan, Puerto Rico, IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"36_CR13","unstructured":"Kaynar, D., Lynch, N., Segala, R., Vaandrager, F.: The theory of timed I\/O automata. Technical Report MIT\/LCS\/TR-917a, MIT Laboratory for Computer Science (2004), Available at: http:\/\/theory.lcs.mit.edu\/tds\/reflist.html"},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Mitra, S., Lynch, N., Liberzon, D.: Verifying average dwell time by solving optimization problems (2005), Available from: http:\/\/theory.lcs.mit.edu\/~mitras\/research\/hscc06-full.pdf","DOI":"10.1007\/11730637_36"},{"key":"36_CR15","volume-title":"Model building in mathematical programming","author":"H.P. Williams","year":"1990","unstructured":"Williams, H.P.: Model building in mathematical programming, 3rd edn. J. Wiley, New York (1990)","edition":"3"},{"key":"36_CR16","unstructured":"Makhorin, A.: GLPK - GNU linear programming kit (2003), Available from: http:\/\/www.gnu.org\/directory\/libs\/glpk.html"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11730637_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T02:24:27Z","timestamp":1555467867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11730637_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331704","9783540331711"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11730637_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}