{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:21:38Z","timestamp":1767651698458},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540251088"},{"type":"electronic","value":"9783540319542"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31954-2_34","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T02:45:07Z","timestamp":1294973107000},"page":"526-541","source":"Crossref","is-referenced-by-count":9,"title":["Interchange Formats for Hybrid Systems: Review and Proposal"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Pinto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","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"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"http:\/\/www.columbus.gr\/"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. Automatica, Special Issue on Hybrid Systems (1999)","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Balarin, F., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A., Sgroi, M., Watanabe, Y.: Modeling and designing heterogeneous systems. Technical Report 2002\/01, Cadence Berkeley Laboratories (2002)","DOI":"10.1007\/3-540-36190-1_7"},{"key":"34_CR4","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E. Lee","year":"1998","unstructured":"Lee, E., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. Comput.-Aided Design Integrated Circuits\u00a017, 1217\u20131229 (1998)","journal-title":"IEEE Trans. Comput.-Aided Design Integrated Circuits"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. 18th Annual IEEE Symposium on Foundations of Computer Sciences, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Alur, R., Dang, T., Esposito, J., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical modeling and analysis of embedded systems. In: Proceedings of the IEEE (2002)","DOI":"10.1109\/JPROC.2002.805817"},{"key":"34_CR7","doi-asserted-by":"publisher","DOI":"10.1109\/9780470545669","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":"34_CR8","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: http:\/\/ptolemy.eecs.berkeley.edu\/hyvisual\/"},{"key":"34_CR9","volume-title":"Mastering Simulink","author":"J.B. Dabney","year":"2003","unstructured":"Dabney, J.B., Harman, T.L.: Mastering Simulink. Prentice Hall, Englewood Cliffs (2003)"},{"key":"34_CR10","unstructured":"Nikoukhah, R., Steer, S.: SCICOS A dynamic system builder and simulator user\u2019s guide - version 1.0. Technical Report Technical Report 0207. INRIA, Rocquencourt, France (June 1997)"},{"key":"34_CR11","unstructured":"Torrisi, F.D., Bemporad, A., Bertini, G., Hertach, P., Jost, D., Mignone, D.: Hysdel 2.0.5 - user manual. Technical report, ETH Zurich (2002)"},{"key":"34_CR12","unstructured":"Silva, B.I., Richeson, K., Krogh, B., Chutinan, A.: Modeling and verifying hybrid dynamic systems using checkmate. In: ADPM (2000)"}],"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-31954-2_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:30:43Z","timestamp":1605742243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31954-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540251088","9783540319542"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31954-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}