{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:14:41Z","timestamp":1761488081517},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789284"},{"type":"electronic","value":"9783540789291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78929-1_51","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T09:01:58Z","timestamp":1216285318000},"page":"630-633","source":"Crossref","is-referenced-by-count":8,"title":["Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics"],"prefix":"10.1007","author":[{"given":"Ian M.","family":"Mitchell","sequence":"first","affiliation":[]},{"given":"Yoshihiko","family":"Susuki","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"51_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-540-71493-4_34","volume-title":"Hybrid Systems: Computation and Control","author":"I.M. Mitchell","year":"2007","unstructured":"Mitchell, I.M.: Comparing forward and backward reachability as tools for safety analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 428\u2013443. Springer, Heidelberg (2007)"},{"key":"51_CR2","doi-asserted-by":"crossref","unstructured":"Cross, E.A., Mitchell, I.M.: Level set methods for computing reachable sets of systems with differential algebraic equation dynamics. In: Proceedings of the American Control Conference, Seattle, WA (2008), http:\/\/www.cs.ubc.ca\/~mitchell\/Papers\/submittedReachDAE.pdf","DOI":"10.1109\/ACC.2008.4586828"},{"key":"51_CR3","unstructured":"[Online], http:\/\/www.cs.ubc.ca\/~mitchell\/ToolboxLS"},{"issue":"7","key":"51_CR4","doi-asserted-by":"publisher","first-page":"986","DOI":"10.1109\/JPROC.2003.814621","volume":"91","author":"C. Tomlin","year":"2003","unstructured":"Tomlin, C., Mitchell, I., Bayen, A., Oishi, M.: Computational techniques for the verification of hybrid systems. Proceedings of the IEEE\u00a091(7), 986\u20131001 (2003)","journal-title":"Proceedings of the IEEE"},{"issue":"11","key":"51_CR5","doi-asserted-by":"publisher","first-page":"1717","DOI":"10.1109\/9.173142","volume":"37","author":"V. Venkatasubramanian","year":"1992","unstructured":"Venkatasubramanian, V., Sch\u00e4ttler, H., Zaborszky, J.: Voltage dynamics: Study of a generator with voltage control, transmission, and matched MW load. IEEE Transactions on Automatic Control\u00a037(11), 1717\u20131733 (1992)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"51_CR6","doi-asserted-by":"crossref","unstructured":"Susuki, Y., Hikihara, T.: Predicting voltage instability of power system via hybrid system reachability analysis. In: Proceedings of the American Control Conference, New York, NY, pp. 4166\u20134171 (2007)","DOI":"10.1109\/ACC.2007.4282216"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78929-1_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:04:29Z","timestamp":1619521469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78929-1_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789284","9783540789291"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78929-1_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}