{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:18:44Z","timestamp":1775027924475,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642006012","type":"print"},{"value":"9783642006029","type":"electronic"}],"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_28","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T12:49:45Z","timestamp":1241441385000},"page":"396-410","source":"Crossref","is-referenced-by-count":8,"title":["Periodically Controlled Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Tichakorn","family":"Wongpiromsarn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sayan","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Lamperski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"28_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"28_CR2","series-title":"Lecture notes in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0080630","volume-title":"Dynamical Systems: Stability Theory and Applications","author":"N.P. Bhatia","year":"1967","unstructured":"Bhatia, N.P., Szeg\u00f6, G.P.: Dynamical Systems: Stability Theory and Applications. Lecture notes in Mathematics, vol.\u00a035. Springer, Heidelberg (1967)"},{"issue":"4","key":"28_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/968708.968710","volume":"37","author":"C.W. Brown","year":"2003","unstructured":"Brown, C.W.: QEPCAD B: a program for computing with semi-algebraic sets using CADs. SIGSAM Bull.\u00a037(4), 97\u2013108 (2003)","journal-title":"SIGSAM Bull."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Burdick, J.W., DuToit, N., Howard, A., Looman, C., Ma, J., Murray, R.M., Wongpiromsarn, T.: Sensing, navigation and reasoning technologies for the DARPA Urban Challenge. Technical report, DARPA Urban Challenge Final Report (2007)","DOI":"10.21236\/ADA475519"},{"key":"28_CR5","unstructured":"DuToit, N.E., Wongpiromsarn, T., Burdick, J.W., Murray, R.M.: Situational reasoning for road driving in an urban environment. In: International Workshop on Intelligent Vehicle Control Systems (IVCS) (2008)"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? In: STOC, pp. 373\u2013382 (1995)","DOI":"10.1145\/225058.225162"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Kaynar, D.K., Lynch, N., Segala, R., Vaandrager, F.: The Theory of Timed I\/O Automata. Synthesis Lectures on Computer Science. Morgan Claypool (2005)","DOI":"10.2200\/S00006ED1V01Y200508CSL001"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","volume-title":"Hybrid Systems: Computation and Control","author":"G. Lafferriere","year":"1999","unstructured":"Lafferriere, G., Pappas, G.J., Yovine, S.: A new class of decidable hybrid systems. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, pp. 137\u2013151. Springer, Heidelberg (1999)"},{"issue":"1","key":"28_CR9","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":"28_CR10","unstructured":"Mitra, S.: A Verification Framework for Hybrid Systems. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA 02139 (September 2007)"},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-36580-X_26","volume-title":"Hybrid Systems: Computation and Control","author":"S. Mitra","year":"2003","unstructured":"Mitra, S., Wang, Y., Lynch, N.A., Feron, E.: Safety verification of model helicopter controller using hybrid input\/Output automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 343\u2013358. Springer, Heidelberg (2003)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Computer Aided Verification","author":"S. Owre","year":"1996","unstructured":"Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M.K.: PVS: Combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 411\u2013414. Springer, Heidelberg (1996)"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-540-78929-1_29","volume-title":"Hybrid Systems: Computation and Control","author":"P. Prabhakar","year":"2008","unstructured":"Prabhakar, P., Vladimerou, V., Viswanathan, M., Dullerud, G.E.: A decidable class of planar linear hybrid systems. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol.\u00a04981, pp. 401\u2013414. Springer, Heidelberg (2008)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Prajna, S., Papachristodoulou, A., Parrilo, P.A.: Introducing SOSTOOLS: A general purpose sum of squares programming solver. In: CDC 2002, pp. 741\u2013746 (2002)","DOI":"10.1109\/CDC.2002.1184594"},{"key":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-70583-3_12","volume-title":"Automata, Languages and Programming","author":"V. Vladimerou","year":"2008","unstructured":"Vladimerou, V., Prabhakar, P., Viswanathan, M., Dullerud, G.E.: Stormed hybrid systems. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol.\u00a05126, pp. 136\u2013147. Springer, Heidelberg (2008)"},{"key":"28_CR16","unstructured":"Vladimerou, V., Prabhakar, P., Viswanathan, M., Dullerud, G.E.: Periodically controlled hybird systems: Verifying a controller for an autonomous vehicle. TechReport CaltechCDSTR:2008.003, California Inst. of Tech., http:\/\/resolver.caltech.edu\/CaltechCDSTR:2008.003"},{"key":"28_CR17","unstructured":"Wongpiromsarn, T., Murray, R.M.: Distributed mission and contingency management for the DARPA urban challenge. In: International Workshop on Intelligent Vehicle Control Systems (IVCS) (2008)"}],"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_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T16:33:57Z","timestamp":1558283637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00602-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006012","9783642006029"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00602-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}