{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:16:31Z","timestamp":1742393791569,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212591"},{"type":"electronic","value":"9783540247432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24743-2_29","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:02:22Z","timestamp":1280761342000},"page":"432-447","source":"Crossref","is-referenced-by-count":6,"title":["Sound Code Generation from Communicating Hybrid Models"],"prefix":"10.1007","author":[{"given":"Yerang","family":"Hur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Young","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"29_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-45351-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"J. Esposito","year":"2001","unstructured":"Esposito, J., Kumar, V., Pappas, G.: Accurate event detection for simulating hybrid systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 204\u2013217. Springer, Heidelberg (2001)"},{"key":"29_CR3","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/232807.232809","volume":"6","author":"T. Park","year":"1996","unstructured":"Park, T., Barton, P.: State event location in differential-algebraic models. ACM Transactions on Modeling and Computer Simulation\u00a06, 137\u2013165 (1996)","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"key":"29_CR4","unstructured":"Choi, J.Y., Hur, Y., Lee, I.: IHA: Ensuring sound numerical simulation of hybrid automata. Technical Report MS-CIS-03-06, University of Pennsylvania (2003)"},{"key":"29_CR5","unstructured":"Choi, J.Y., Hur, Y., Kim, J., Lee, I.: Sound synchronization of communicating hybrid automata. Technical Report MS-CIS-03-30, University of Pennsylvania (2003)"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"T. Henzinger","year":"2001","unstructured":"Henzinger, T., Horowitz, B., Kirsch, C.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 166\u2013184. Springer, Heidelberg (2001)"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Kodase, S., Wang, S., Gu, Z., Shin, K.G.: Improving scalability of task allocation and scheduling in large distributed real-time systems using shared buffers. In: Proceedings of RTAS, pp. 181\u2013188 (2003)","DOI":"10.1109\/RTTAS.2003.1203050"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Wong-Toi, H.: The synthesis of discrete controllers for linear hybrid automata. In: Proceedings of CDC, pp. 4607\u20134612 (1997)","DOI":"10.1109\/CDC.1997.649708"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Altisen, K., G\u00f6\u00dfler, G., Pnueli, A., Sifakis, J., Yovine, Y.: A framework for scheduler synthesis. In: Proceedings of RTSS, pp. 154\u2013163 (1999)","DOI":"10.1109\/REAL.1999.818838"},{"key":"29_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/3-540-45352-0_11","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"K. Altisen","year":"2000","unstructured":"Altisen, K., G\u00f6\u00dfler, G., Sifakis, J.: A methodology for the construction of scheduled systems. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 106\u2013120. Springer, Heidelberg (2000)"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Alur, R., Ivan\u010di\u0107, F., Kim, J., Lee, I., Sokolsky, O.: Generating embedded software from hierarchial hybrid models. In: Proceedings of LCTES, pp. 171\u2013182 (2003)","DOI":"10.1145\/780731.780756"},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/JPROC.2002.805817","volume":"91","author":"R. Alur","year":"2003","unstructured":"Alur, R., Dang, T., Esposito, J., Hur, Y., Ivan\u010di\u0107, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE\u00a091, 11\u201328 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"29_CR13","unstructured":"Kim, J., Lee, I.: Modular code generation from hybrid automata based on data dependency. In: Proceedings of RTAS, pp. 160\u2013168 (2003)"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/3-540-45873-5_6","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2002","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Reachability analysis of hybrid systems via predicate abstraction. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 35\u201348. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24743-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T18:00:12Z","timestamp":1740333612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24743-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212591","9783540247432"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24743-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}