{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T05:18:57Z","timestamp":1736227137886,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633587"},{"type":"electronic","value":"9783540695233"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0031564","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T07:10:54Z","timestamp":1134285054000},"page":"235-247","source":"Crossref","is-referenced-by-count":0,"title":["Safe implementations of supervisory commands"],"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":[[2005,6,26]]},"reference":[{"key":"13_CR1","series-title":"Technical Report ISIS-97-004","volume-title":"Bounded amplitude control using multiple linear agents","author":"C.J. Bett","year":"1997","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":"13_CR2","series-title":"Technical Report ISIS-97-002","volume-title":"Finite horizon bounded amplitude control of linear parameter varying systems","author":"C.J. Bett","year":"1997","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."},{"key":"13_CR3","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"},{"issue":"10","key":"13_CR4","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1109\/TAC.1987.1104455","volume":"32","author":"M.A. Dahleh","year":"1987","unstructured":"M.A. Dahleh and J.B. Pearson. L'-optimal compensators for continuous-time systems. IEEE Transactions on Automatic Control, 32(10):889\u2013895, October 1987.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Akash Deshpande and Pravin Varaiya Viable control of hybrid systems. In Panos Antsaldis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors, Hybrid Systems II, pages 128\u2013147. Springer-Verlag, 1995. Lecture Notes in Computer Science, Volume 999.","DOI":"10.1007\/3-540-60472-3_7"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"A. Isidori. Nonlinear Control Systems. Springer-Verlag, 2nd edition, 1989.","DOI":"10.1007\/978-3-662-02581-9"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"W. Kohn and A. Nerode. Multiple agent autonomous hybrid control systems. In Grossman, Nerode, Ravn, and Rischel, editors, Hybrid Systems, pages 297\u2013316. Springer-Verlag, 1993. Lecture Notes in Computer Science, Volume 736.","DOI":"10.1007\/3-540-57318-6_34"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"M. Lemmon and C. Bett. Robust hybrid control system design. In Proceedings of the 1996 IFAC World Congress, volume J, pages 395\u2013400, San Francisco, CA, June 1996.","DOI":"10.1016\/S1474-6670(17)58443-8"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"K. Nagpal, J. Abedor, and K. Poolla. An LMI approach to peak-to-peak gain minimization: filtering and control. In Proceedings of the American Control Conference, pages 742\u2013746, Baltimore, Maryland, June 1994.","DOI":"10.1109\/ACC.1994.751839"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0031564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:12:34Z","timestamp":1736165554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0031564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633587","9783540695233"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0031564","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}