{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:46:02Z","timestamp":1725561962282},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212591"},{"type":"electronic","value":"9783540247432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24743-2_39","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:02:22Z","timestamp":1280761342000},"page":"585-599","source":"Crossref","is-referenced-by-count":0,"title":["Non-concurrent Error Detection and Correction in Switched Linear Controllers"],"prefix":"10.1007","author":[{"given":"Shreyas","family":"Sundaram","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoforos N.","family":"Hadjicostis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Control Using Logic-Based Switching","year":"1997","key":"39_CR1","unstructured":"Morse, A.S. (ed.): Control Using Logic-Based Switching. Springer, Heidelberg (1997)"},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Zefran, M., Burdick, J.: Design of switching controllers for systems with changing dynamics. In: Proc. 37th IEEE Conf. on Decision and Control, vol.\u00a02, pp. 2113\u20132118 (1998)","DOI":"10.1109\/CDC.1998.758647"},{"key":"39_CR3","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/S0167-6911(99)00062-6","volume":"38","author":"J. Hespanha","year":"1999","unstructured":"Hespanha, J., Liberzon, D., Morse, A.: Logic-based switching control of a nonholonomic system with parametric modeling uncertainty. Systems and Control Letters, Special Issue on Hybrid Systems\u00a038, 167\u2013177 (1999)","journal-title":"Systems and Control Letters, Special Issue on Hybrid Systems"},{"key":"39_CR4","unstructured":"Hespanha, J.: Logic-Based Switching Algorithms in Control. PhD thesis, Yale University (1998)"},{"key":"39_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","volume-title":"Switching in Systems and Control","author":"D. Liberzon","year":"2003","unstructured":"Liberzon, D.: Switching in Systems and Control. Birkhauser, Basel (2003)"},{"key":"39_CR6","doi-asserted-by":"publisher","first-page":"1437","DOI":"10.1109\/9.948473","volume":"46","author":"S.S. Ge","year":"2001","unstructured":"Ge, S.S., Sun, Z., Lee, T.H.: Reachability and controllability of switched linear discrete-time systems. IEEE Transactions on Automatic Control\u00a046, 1437\u20131441 (2001)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"39_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/37.793443","volume":"19","author":"D. Liberzon","year":"1999","unstructured":"Liberzon, D., Morse, A.: Basic problems in stability and design of switched systems. IEEE Control Systems Magazine\u00a019, 59\u201370 (1999)","journal-title":"IEEE Control Systems Magazine"},{"key":"39_CR8","doi-asserted-by":"publisher","first-page":"1401","DOI":"10.1109\/TAC.2002.801182","volume":"47","author":"G. Xie","year":"2002","unstructured":"Xie, G., Zheng, D., Wang, L.: Controllability of switched linear systems. IEEE Transactions on Automatic Control\u00a047, 1401\u20131405 (2002)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"39_CR9","doi-asserted-by":"crossref","first-page":"2045","DOI":"10.1080\/00207178908559761","volume":"49","author":"J. Ezzine","year":"1989","unstructured":"Ezzine, J., Haddad, A.H.: Controllability and observability of hybrid systems. International Journal of Control\u00a049, 2045\u20132055 (1989)","journal-title":"International Journal of Control"},{"key":"39_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/BFb0036081","volume-title":"Control Using Logic-Based Switching","author":"A. Sangiovanni-Vincentelli","year":"1997","unstructured":"Sangiovanni-Vincentelli, A.: Embedded system design and hybrid systems. In: Morse, A.S. (ed.) Control Using Logic-Based Switching, pp. 17\u201338. Springer, Heidelberg (1997)"},{"key":"39_CR11","doi-asserted-by":"publisher","first-page":"1204","DOI":"10.1109\/7.892669","volume":"36","author":"W.S. Gray","year":"2000","unstructured":"Gray, W.S., Gonzalez, O.R., Dogan, M.: Stability analysis of digital linear flight controllers subject to electromagnetic disturbances. IEEE Transactions on Aerospace and Electronic Systems\u00a036, 1204\u20131218 (2000)","journal-title":"IEEE Transactions on Aerospace and Electronic Systems"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"Gray, W.S., Patilkulkarni, S., Gonzalez, O.R.: Towards hybrid models of recoverable computer control systems. In: Proc. 2002 Digital Avionics Systems Conference, p. 13.C.2\u20131\u20139 (2002)","DOI":"10.1109\/DASC.2002.1053008"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"Babaali, M., Egerstedt, M., Kamen, E.W.: An observer for linear systems with randomly-switching measurement equations. In: Proc. 2003 American Control Conference, pp. 1879\u20131884 (2003)","DOI":"10.1109\/ACC.2003.1243347"},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"Smith, S.C., Seiler, P.: Optimal pseudo-steady-state estimators for systems with Markovian intermittent measurements. In: Proc. 2002 American Control Conference, pp. 3021\u20133027 (2002)","DOI":"10.1109\/ACC.2002.1025252"},{"key":"39_CR15","volume-title":"Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components","author":"J. Neumann von","year":"1956","unstructured":"von Neumann, J.: Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components. Princeton Univ. Press, Princeton (1956)"},{"key":"39_CR16","volume-title":"Error-Control Coding for Computer Systems","author":"T.R.N. Rao","year":"1989","unstructured":"Rao, T.R.N., Fujiwara, E.: Error-Control Coding for Computer Systems. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"39_CR17","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1109\/TC.1984.1676475","volume":"33","author":"K.H. Huang","year":"1984","unstructured":"Huang, K.H., Abraham, J.A.: Algorithm-based fault tolerance for matrix operations. IEEE Transactions on Computers\u00a033, 518\u2013528 (1984)","journal-title":"IEEE Transactions on Computers"},{"key":"39_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/TCSI.2002.807522","volume":"50","author":"C.N. Hadjicostis","year":"2003","unstructured":"Hadjicostis, C.N.: Non-concurrent error detection and correction in fault-tolerant discrete-time LTI dynamic systems. IEEE Transactions on Circuits and Systems\u00a050, 45\u201355 (2003)","journal-title":"IEEE Transactions on Circuits and Systems"},{"key":"39_CR19","first-page":"39","volume":"35","author":"C.N. Hadjicostis","year":"1999","unstructured":"Hadjicostis, C.N., Verghese, G.: Structured redundancy for fault tolerance in LTI state-space models and Petri nets. Kybernetika\u00a035, 39\u201355 (1999)","journal-title":"Kybernetika"}],"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-540-24743-2_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T18:56:15Z","timestamp":1552848975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24743-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212591","9783540247432"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24743-2_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}