{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T04:11:23Z","timestamp":1747368683233,"version":"3.40.5"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319148052"},{"type":"electronic","value":"9783319148069"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14806-9_7","type":"book-chapter","created":{"date-parts":[[2015,1,5]],"date-time":"2015-01-05T04:22:35Z","timestamp":1420431755000},"page":"125-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model for a Hybrid Programming Language"],"prefix":"10.1007","author":[{"given":"Longfei","family":"Zhu","sequence":"first","affiliation":[]},{"given":"Qiwen","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,1,6]]},"reference":[{"key":"7_CR1","unstructured":"Jifeng, H.: From CSP to hybrid systems. In: Roscoe, A.W. (ed.) A Classical Mind, pp. 171\u2013189. Prentice Hall International (UK) Ltd., Hertfordshire (1994). http:\/\/dl.acm.org\/citation.cfm?id=197600.197614"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278\u2013292. IEEE Computer Society (1996)","DOI":"10.1109\/LICS.1996.561342"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"NA Lynch","year":"2003","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I\/O Automata. Inf. Comput. 185(1), 105\u2013157 (2003)","journal-title":"Inf. Comput."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Bourke, T., Caillaud, B., Pouzet, M.: A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. In: Chakraborty, S., Jerraya, A., Baruah, S.K., Fischmeister, S. (eds.) EMSOFT, pp. 137\u2013148. ACM (2011)","DOI":"10.1145\/2038642.2038664"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, K., Schneider, K.: From synchronous programs to symbolic representations of hybrid systems. In: Johansson, K.H., Yi, W. (eds.) HSCC, pp. 41\u201350. ACM (2010)","DOI":"10.1145\/1755952.1755960"},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S1571-0661(05)80439-6","volume":"65","author":"M Baldamus","year":"2002","unstructured":"Baldamus, M., Stauner, T.: Modifying Esterel concepts to model hybrid systems. Electr. Notes Theor. Comput. Sci. 65(5), 35\u201349 (2002)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Fritzson, P.: Modelica - a cyber-physical modeling language and the OpenModelica environment. In: IWCMC, pp. 1648\u20131653. IEEE (2011)","DOI":"10.1109\/IWCMC.2011.5982782"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-34281-3_18","volume-title":"Formal Methods and Software Engineering","author":"W Su","year":"2012","unstructured":"Su, W., Abrial, J.-R., Zhu, H.: Complementary methodologies for developing hybrid systems with event-b. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 230\u2013248. Springer, Heidelberg (2012)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-30885-7_13","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"J-R Abrial","year":"2012","unstructured":"Abrial, J.-R., Su, W., Zhu, H.: Formalizing hybrid systems with event-b. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol. 7316, pp. 178\u2013193. Springer, Heidelberg (2012)"},{"issue":"1","key":"7_CR10","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Guernic, P.L., de Simone, R.: The synchronous languages 12 years later. Proceedings of the IEEE 91(1), 64\u201383 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-24559-6_1","volume-title":"Formal Methods and Software Engineering","author":"Y Zhao","year":"2011","unstructured":"Zhao, Y., Jifeng, H.: Towards a signal calculus for event-based synchronous languages. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 1\u201313. Springer, Heidelberg (2011)"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-33826-7_9","volume-title":"Software Engineering and Formal Methods","author":"Y Zhao","year":"2012","unstructured":"Zhao, Y., Zhu, L., Zhu, H., He, J.: A denotational model for instantaneous signal calculus. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 126\u2013140. Springer, Heidelberg (2012)"},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/s001650300001","volume":"15","author":"J He","year":"2003","unstructured":"He, J., Xu, Q.: Advanced features of Duration Calculus and their applications in sequential hybrid programs. Formal Asp. Comput. 15(1), 84\u201399 (2003)","journal-title":"Formal Asp. Comput."},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-540-31862-0_2","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"H Jifeng","year":"2005","unstructured":"Jifeng, H., Naiyong, J.: Integrating variants of DC. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 14\u201334. Springer, Heidelberg (2005). http:\/\/dx.doi.org\/10.1007\/978-3-540-31862-0_2"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/BF02948854","volume":"16","author":"L Li","year":"2001","unstructured":"Li, L.: Towards a denotational semantics of timed RSL using Duration Calculus. Journal of Computer Science and Technology 16(1), 64\u201376 (2001). http:\/\/dx.doi.org\/10.1007\/BF02948854","journal-title":"Journal of Computer Science and Technology"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0304-3975(88)90049-7","volume":"60","author":"AW Roscoe","year":"1988","unstructured":"Roscoe, A.W., Hoare, C.A.R.: The laws of Occam programming. Theor. Comput. Sci. 60, 177\u2013229 (1988)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"O Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: de Bakker, J.W., Huizing, C., de Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 447\u2013484. Springer, Heidelberg (1992)"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-58468-4_177","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A Kapur","year":"1994","unstructured":"Kapur, A., Henzinger, T.A., Manna, Z., Pnueli, A.: Prooving safety properties of hybrid systems. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994. LNCS, vol. 863, pp. 431\u2013454. Springer, Heidelberg (1994)"},{"issue":"1\/2","key":"7_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/1000000001","volume":"1","author":"LP Carloni","year":"2006","unstructured":"Carloni, L.P., Passerone, R., Pinto, A., Angiovanni-Vincentelli, A.L.: Languages and tools for hybrid systems design. Found. Trends Electron. Des. Autom. 1(1\/2), 1\u2013193 (2006). http:\/\/dx.doi.org\/10.1561\/1000000001","journal-title":"Found. Trends Electron. Des. Autom."},{"key":"7_CR20","unstructured":"Simulink. http:\/\/www.mathworks.com\/products\/simulink"},{"key":"7_CR21","unstructured":"Modelica. https:\/\/www.modelica.org\/"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caillaud, B., Pouzet, M.: The fundamentals of hybrid systems modelers. In: 2010 49th IEEE Conference on Decision and Control (CDC), pp. 4180\u20134185 (2010)","DOI":"10.1109\/CDC.2010.5717614"},{"key":"7_CR23","unstructured":"Nikoukhah, R.: Hybrid dynamics in modelica: Should all events be considered synchronous"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-17164-2_1","volume-title":"Programming Languages and Systems","author":"J Liu","year":"2010","unstructured":"Liu, J., Lv, J., Quan, Z., Zhan, N., Zhao, H., Zhou, C., Zou, L.: A calculus for Hybrid CSP. In: Ueda, K. (ed.) APLAS 2010. LNCS, vol. 6461, pp. 1\u201315. Springer, Heidelberg (2010)"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics. Springer (2010)","DOI":"10.1007\/978-3-642-14509-4"}],"container-title":["Lecture Notes in Computer Science","Unifying Theories of Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14806-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T22:11:29Z","timestamp":1747347089000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-14806-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319148052","9783319148069"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14806-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"6 January 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}