{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:00Z","timestamp":1725483720597},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425410"},{"type":"electronic","value":"9783540447986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44798-9_35","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T13:16:15Z","timestamp":1178198175000},"page":"465-479","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming"],"prefix":"10.1007","author":[{"given":"Li","family":"Xuandong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pei","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhao","family":"Jianhua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Yong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng","family":"Tao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng","family":"Guoliang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278\u2013292.","DOI":"10.1109\/LICS.1996.561342"},{"key":"35_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-57318-6_29","volume-title":"Hybrid System","author":"Y. Kesten","year":"1993","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine. Integration Graphs: A Class of Decidable Hybrid Systems. In Hybrid System, LNCS 736, pp. 179\u2013208."},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine. The algorithmic analysis of hybrid systems. In Theoretical Computer Science, 138(1995), pp. 3\u201334.","journal-title":"Theoretical Computer Science"},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T. A. Henzinger","year":"1998","unstructured":"Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, and Pravin Varaiya. What\u2019s Decidable About Hybrid Automata? In Journal of Computer and System Sciences, 57:94\u2013124, 1998.","journal-title":"Journal of Computer and System Sciences"},{"issue":"5","key":"35_CR5","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare, A.P. Ravn. A Calculus of Durations. In Information Processing Letter, 40,5, 1991, pp. 269\u2013276.","journal-title":"Information Processing Letter"},{"key":"35_CR6","series-title":"Lect Notes Comput Sci","first-page":"88","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"C. Zhou","year":"1994","unstructured":"C. Zhou, J. Zhang, L. Yang, and X. Li. Linear Duration Invariants. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, pp. 88\u2013109."},{"key":"35_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Sixth Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 00)","author":"T. A. Henzinger","year":"2000","unstructured":"Thomas A. Henzinger, Rupak Majumdar. Symbolic Model Checking for Rectangular Hybrid Systems. In Proceedings of the Sixth Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 00), Lecture Notes in Computer Science, Springer, 2000."},{"key":"35_CR8","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HYTECH: a model checker for hybrid systems. In Software Tools for Technology Transfer, 1:110\u2013122, 1997.","journal-title":"Software Tools for Technology Transfer"},{"key":"35_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-63875-X_51","volume-title":"Advances in Computing Science-ASIAN\u201997","author":"L. Xuandong","year":"1997","unstructured":"Li Xuandong, Dang Van Hung, and Zheng Tao. Checking Hybrid Automata for Linear Duration Invariants. In Advances in Computing Science-ASIAN\u201997, LNCS 1345, Springer-Verlag, 1997, pp. 166\u20131180."},{"key":"35_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/3-540-64358-3_53","volume-title":"Hybrid Systems: Computation and Control","author":"L. Xuandong","year":"1998","unstructured":"Li Xuandong, Zheng Tao, Hou Jianmin, Zhao Jianhua, and Zheng Guoliang. Hybrid Regular Expressions. In Hybrid Systems: Computation and Control, LNCS 1386, Springer-Verlag, 1998, pp. 384\u2013399."}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44798-9_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T07:14:43Z","timestamp":1550301283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44798-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425410","9783540447986"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44798-9_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}