{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:12:55Z","timestamp":1737177175879,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540656432"},{"type":"electronic","value":"9783540491637"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49163-5_11","type":"book-chapter","created":{"date-parts":[[2007,6,23]],"date-time":"2007-06-23T11:15:39Z","timestamp":1182597339000},"page":"204-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extracting Stable Timed Automata from Switched Model Reference Systems"],"prefix":"10.1007","author":[{"given":"Michael","family":"Lemmon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher J.","family":"Bett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"11_CR1","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 and Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical and Computer Science"},{"key":"11_CR2","doi-asserted-by":"publisher","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"},{"key":"11_CR3","unstructured":"C.J. Bett and M.D. Lemmon. Bounded amplitude control using multiple linear agents. Technical Report ISIS-97-004, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 1997."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"C.J. Bett and M.D. Lemmon. Finite horizon bounded amplitude control of linear parameter varying systems. Technical Report ISIS-97-002, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 1997. Submitted for publication in Automatica. Short version to appear 1997 Automatic Control Conference.","DOI":"10.1109\/ACC.1997.611823"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Stephen Boyd, Laurent El Gaoui, Eric Feron, and Venkataramanan Balakrishnan. Linear Matrix Inequalities in System and Control Theory. Society for Industrial and Applied Mathematics, 1994.","DOI":"10.1137\/1.9781611970777"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"M. Branicky. Stability of switched and hybrid systems. In Proceedings of the 33rd Conference on Decision and Control, pages 3498\u20133503, Lake Buena Vista, FL, December 1994. IEEE.","DOI":"10.1109\/CDC.1994.411688"},{"key":"11_CR7","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. IEEE."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"M. Johansson and A. Rantzer. Computation of piecewise quadratic lyapunov functions for hybrid systems. Technical report, Lund Institute of Technology, Dept. of Automatic Control, 1996. preprint.","DOI":"10.23919\/ECC.1997.7082399"},{"key":"11_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993","unstructured":"Kenneth McMillan. Symbolic Model Checking. Kluwer Academic Pub., Norwell, Massachusetts, 1993."},{"issue":"10","key":"11_CR10","doi-asserted-by":"publisher","first-page":"1413","DOI":"10.1109\/9.539424","volume":"41","author":"A. S. Morse","year":"1996","unstructured":"A. S. Morse. Supervisory control of families of linear set-point controllers-part 1: Exact matching. IEEE Transactions on Automatic Control, 41(10):1413\u20131431, October 1996.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"P. Peleties and R. DeCarlo. Asymptotic stability of m-switched systems using lyapuvnov-like functions. In Proceedings of the American Control Conference, pages 1679\u20131684, Boston, MA, June 1991. IEEE.","DOI":"10.23919\/ACC.1991.4791667"},{"key":"11_CR12","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. IEEE."},{"issue":"6","key":"11_CR13","first-page":"1367","volume":"62","author":"K. Poolla","year":"1995","unstructured":"Kameshwar Poolla and Je_. S. Shamma. Optimal asymptotic robust performance via nonlinear controllers. International Journal of Control, 62(6):1367\u20131389, December 1995.","journal-title":"Optimal asymptotic robust performance via nonlinear controllers"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49163-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T13:48:49Z","timestamp":1737121729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49163-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656432","9783540491637"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-49163-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"19 November 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}