{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:17:07Z","timestamp":1753885027683},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643586"},{"type":"electronic","value":"9783540697541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64358-3_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:37:01Z","timestamp":1330299421000},"page":"175-189","source":"Crossref","is-referenced-by-count":6,"title":["Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems"],"prefix":"10.1007","author":[{"given":"Kevin X.","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael D.","family":"Lemmon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"12_CR1","volume-title":"Trends in Control","author":"A.S. Morse","year":"1995","unstructured":"A.S. Morse, Control using logic based switching, In A. Isidori, Trends in Control, Springer-Verlag, Great Britain, 1995."},{"doi-asserted-by":"crossref","unstructured":"P. Peleties and R. DeCarlo, Asymptotic Stability of m-switched systems using Lyapunov-like functins. In Proceedings of the American Control Conference, pp 1679\u20131684, Bost, MA, June 1991.","key":"12_CR2","DOI":"10.23919\/ACC.1991.4791667"},{"unstructured":"A.V. Savkin, I.R. Petersen, E. Skafidas, and R.J. Evans, Robust control via controlled switching, In Proceedings of CESA'96, pages 1117\u20131122, Lille France, 1996","key":"12_CR3"},{"doi-asserted-by":"crossref","unstructured":"M. Branicky, Stability of Switched and Hybrid Systems, In Proceedings of the 33rd Conference on Decision and Control, pp 3498\u20133503, Lake Buena Vista, FL, December 1994.","key":"12_CR4","DOI":"10.1109\/CDC.1994.411688"},{"unstructured":"L. Hou, A.N. Michel, and H. Ye, Stability Analysis of Switched Systems, In Proceedings of the 35th Conference on Decision and Control, pages 1208\u20131212, Kobe Japan, December 1996.","key":"12_CR5"},{"doi-asserted-by":"crossref","unstructured":"S. Pettersson and B. Lennartson, Stability and Robustness for Hybrid Systems, In Proceedings of the 35th Conference on Decision and Control, Kobe Japan, December 1996.","key":"12_CR6","DOI":"10.1109\/CDC.1996.572653"},{"doi-asserted-by":"crossref","unstructured":"M. Johansson and A. Rantzer, Computation of Piecewise Quadratic Lyapunov Functions for Hybrid Systems, to appear in IEEE Trans. of Automatic Control, 1997","key":"12_CR7","DOI":"10.23919\/ECC.1997.7082399"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science, 126:183\u2013235, 1994","journal-title":"Theoretical Computer Science"},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"R. Alur, T. Henzinger, and P-H Ho., Automatic Symbolic Verification of Embedded Systems, IEEE Transactions on Software Engineering, 22:181\u2013201, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"12_CR10","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1016\/0362-546X(87)90034-4","volume":"11","author":"L. Tavernini","year":"1987","unstructured":"L. Tavernini, Differential automata and their discrete simulators, Nonlinear Analysis, theory, methods, and applications, 11(6):665\u2013683, 1987.","journal-title":"Nonlinear Analysis, theory, methods, and applications"},{"unstructured":"S. Branicky, Studies in Hybrid Systems: Modeling, Analysis, and Control, Technical Report LIDS-TH-2304 of the Laboratory for Information and Decision Sciences, MIT, 1995.","key":"12_CR11"},{"doi-asserted-by":"crossref","unstructured":"A. Deshpande and P. Varaiya, Viable Control of Hybrid Systems, Hybrid Systems II, A. Nerode (ed.), LNCS Volume 999, Springer-Verlag, 1995.","key":"12_CR12","DOI":"10.1007\/3-540-60472-3_7"},{"unstructured":"M.D. Lemmon, K. He, and C.J. Bett, Modeling Hybrid Control Systems using Programmable Timed Petri Nets, to appear in L'Automatisation des Processus Mixtes (ADPM'98), Rheims France, March 19\u201320, 1998.","key":"12_CR13"},{"unstructured":"C.J. Bett and M.D. Lemmon, Bounded Amplitude Control using Multiple Linear Agents, Technical Report ISIS-97-004, Dept. of Electrical Engineering, University of Notre Dame, Notre Dame, IN 1997. (revised version submitted to Automatica)","key":"12_CR14"},{"unstructured":"Matlab Inc., \u201cLMI Toolbox User Manual\u201d, 1993.","key":"12_CR15"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64358-3_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:58Z","timestamp":1605647998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64358-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643586","9783540697541"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-64358-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}