{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T04:37:52Z","timestamp":1776487072310,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540584858","type":"print"},{"value":"9783540490050","type":"electronic"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/3-540-58485-4_43","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:27:31Z","timestamp":1330255651000},"page":"223-237","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":92,"title":["Verification of linear hybrid systems by means of convex approximations"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Halbwachs","sequence":"first","affiliation":[]},{"given":"Yann -Eric","family":"Proy","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Raymond","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"14_CR1","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model checking of real-time systems. In Fifth IEEE Symposium on Logic in Computer Science, Philadelphia, 1990."},{"key":"14_CR2","unstructured":"R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. An implementation of three algorithms for timing verification based on automata emptiness. In 13th IEEE Real-Time Systems Symposium, Phoenix (Az), December 1992."},{"key":"14_CR3","volume-title":"LNCS 736","author":"R. Alur","year":"1993","unstructured":"R. Alur, C. Courcoubetis, T. A. Henzinger, and Pei-Hsin Ho. Hybrid automata: an algorithmic approach to the specification and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1993. LNCS 736, Springer Verlag."},{"key":"14_CR4","unstructured":"R. Alur and D. Dill. Automata for modeling real-time systems. In ICALP'90, 1990."},{"key":"14_CR5","unstructured":"R. Alur, T. A. Henzinger, and Pei-Hsin Ho. Automatic symbolic verification of embedded systems. In RTTS93, 1993."},{"key":"14_CR6","unstructured":"R. Alur. Techniques for automatic verification of real-time systems. Phd thesis, Stanford University, August 1991."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, Los Angeles, January 1977.","DOI":"10.1145\/512950.512973"},{"key":"14_CR8","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widenning\/narrowing approaches to abstract interpretation. Research Report LIX\/RR\/92\/09, Ecole Polytechnique, June 1992."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th ACM Symposium on Principles of Programming Languages, Tucson (Arizona), January 1978.","DOI":"10.1145\/512760.512770"},{"issue":"6","key":"14_CR10","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1016\/0041-5553(68)90115-8","volume":"8","author":"N. V. Chernikova","year":"1968","unstructured":"N. V. Chernikova. Algorithm for discovering the set of all solutions of a linear programming problem. U.S.S.R. Computational Mathematics and Mathematical Physics, 8(6):282\u2013293, 1968.","journal-title":"U.S.S.R. Computational Mathematics and Mathematical Physics"},{"key":"14_CR11","unstructured":"N. Halbwachs. D\u00e9termination automatique de relations lin\u00e9aires v\u00e9rifi\u00e9es par les variables d'un programme. Th\u00e8se de 3e cycle, University of Grenoble, March 1979."},{"key":"14_CR12","volume-title":"LNCS 697","author":"N. Halbwachs","year":"1993","unstructured":"N. Halbwachs. Delay analysis in synchronous programs. In Fifth Conference on Computer-Aided Verification, Elounda (Greece), July 1993. LNCS 697, Springer Verlag."},{"key":"14_CR13","unstructured":"T. A. Henzinger and P.-H. Ho. Model checking strategies for hybrid systems. In Conference on Industrial Applications of Artificial Intelligence and Expert Systems, 1994."},{"key":"14_CR14","unstructured":"T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic modelchecking for real-time systems. In LICS'92, June 1992."},{"key":"14_CR15","volume-title":"LNCS 736","author":"Y. Kesten","year":"1993","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1993. LNCS 736, Springer Verlag."},{"issue":"1","key":"14_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/7351.7352","volume":"5","author":"L. Lamport","year":"1987","unstructured":"L. Lamport. A fast mutual exclusion algorithm. ACM Transactions on Computer Systems, 5(1):1\u201311, 1987.","journal-title":"ACM Transactions on Computer Systems"},{"key":"14_CR17","unstructured":"H. LeVerge. A note on Chernikova's algorithm. Research Report 635, IRISA, February 1992."},{"key":"14_CR18","volume-title":"LNCS 600","author":"O. Maler","year":"1991","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Rex\nWorkshop on Real-Time: Theory in Practice, DePlasmolen (Netherlands), June 1991. LNCS 600, Springer Verlag."},{"key":"14_CR19","volume-title":"LNCS 736","author":"X. Nicollin","year":"1993","unstructured":"X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, October 1993. LNCS 736, Springer Verlag."},{"key":"14_CR20","unstructured":"H. Wong-Toi and D. Dill. Using iterative approximations for timing verification. In First AMAST International Workshop on Real-Time Systems, Iowa City (Iowa), November 1993."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:24:38Z","timestamp":1558254278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}