{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:17:46Z","timestamp":1767651466177},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331704"},{"type":"electronic","value":"9783540331711"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11730637_37","type":"book-chapter","created":{"date-parts":[[2006,2,24]],"date-time":"2006-02-24T01:57:14Z","timestamp":1140746234000},"page":"491-506","source":"Crossref","is-referenced-by-count":14,"title":["Interchange Format for Hybrid Systems: Abstract Semantics"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Pinto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca P.","family":"Carloni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/978-3-540-31954-2_34","volume-title":"Hybrid Systems: Computation and Control","author":"A. Pinto","year":"2005","unstructured":"Pinto, A., Sangiovanni-Vincentelli, A.L., Carloni, L.P., Passerone, R.: Interchange formats for hybrid systems: review and proposal. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 526\u2013541. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. In: Automatica, vol.\u00a035 (1999)","key":"37_CR2","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"37_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","volume-title":"Hybrid Systems: Computation and Control","author":"E.A. Lee","year":"2005","unstructured":"Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 25\u201353. Springer, Heidelberg (2005)"},{"key":"37_CR4","volume-title":"Principles of object-oriented modeling and simulation with Modelica 2.1","author":"P. Fritzson","year":"2004","unstructured":"Fritzson, P.: Principles of object-oriented modeling and simulation with Modelica 2.1. J. Wiley & Sons, Chichester (2004)"},{"key":"37_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1561-6","volume-title":"Introduction to physical modeling with Modelica","author":"M.M. Tiller","year":"2001","unstructured":"Tiller, M.M.: Introduction to physical modeling with Modelica. Kluwer Academic Publishers, Boston (2001)"},{"unstructured":"Hylands, C., Lee, E.A., Liu, J., Liu, X., Neuendorffer, S., Zheng, H.: Hyvisual: A hybrid system visual modeler. Technical Report UCB\/ERL M03\/1, UC Berkeley (2003), available at: \n                    \n                      http:\/\/ptolemy.eecs.berkeley.edu\/hyvisual\/","key":"37_CR6"},{"unstructured":"Silva, B.I., Richeson, K., Krogh, B., Chutinan, A.: Modeling and verifying hybrid dynamic systems using CheckMate. In: Proceedings of 4th International Conference on Automation of Mixed Processes, pp. 323\u2013328 (2000)","key":"37_CR7"},{"issue":"2","key":"37_CR8","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1109\/TCST.2004.824309","volume":"12","author":"F.D. Torrisi","year":"2004","unstructured":"Torrisi, F.D., Bemporad, A.: HYSDEL - a tool for generating computational hybrid models for analysis and synthesis problems. IEEE Transactions on Control Systems Technology\u00a012(2), 235\u2013249 (2004)","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"37_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2000","unstructured":"Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in Charon. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 6\u201319. Springer, Heidelberg (2000)"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional refinement for hierarchical hybrid systems. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Sprinkle, J., Ames, A.D., Pinto, A., Zheng, H., Sastry, S.S.: On the partitioning of syntax and semantics for hybrid systems tools. In: 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC 2005) (accepted for publication) (2005)","key":"37_CR11","DOI":"10.1109\/CDC.2005.1582903"},{"unstructured":"Team, T.M.P.: The Metropolis meta model version 0.4. Technical Report UCB\/ERL M04\/38, University of California, Berkeley (2004)","key":"37_CR12"},{"unstructured":"Davis, J., Goel, M., Hylands, C., Kienhuis, B., Lee, E., Liu, J., Liu, X., Muliadi, L., Neuendorffer, S., Reekie, J., Smyth, N., Tsay, J., Xiong, Y.: Overview of the Ptolemy project. Technical Report UCB\/ERL M99\/37, Univ. of California at Berkeley (1999)","key":"37_CR13"},{"doi-asserted-by":"crossref","unstructured":"Asarin, E., Dang, T., Maler, O.: The d\/dt tool for verification of hybrid systems. In: Proc. of the 14th Intl. Conf. on Computer-Aided Verification, pp. 365\u2013370 (2002)","key":"37_CR14","DOI":"10.1007\/3-540-45657-0_30"},{"issue":"1\u20132","key":"37_CR15","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HyTech: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer\u00a01(1\u20132), 110\u2013122 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"unstructured":"Group, M.: Hsif semantics (version 3, synchronous edition). Internal document, The University of Pennsylvania, August 22 (2002)","key":"37_CR16"},{"unstructured":"Brooks, C., Cataldo, A., Lee, E.A., Liu, J., Liu, X., Neuendorffer, S., Zheng, H.: Hyvisual: A hybrid system visual modeler. Technical Report UCB\/ERL M04\/18, UC Berkeley (2004), available at: \n                    \n                      http:\/\/ptolemy.eecs.berkeley.edu\/hyvisual\/","key":"37_CR17"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11730637_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T00:22:06Z","timestamp":1552350126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11730637_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331704","9783540331711"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11730637_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}