{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:37Z","timestamp":1761597037553},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71493-4_45","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:33:57Z","timestamp":1180560837000},"page":"587-600","source":"Crossref","is-referenced-by-count":18,"title":["Foundations of a Compositional Interchange Format for Hybrid Systems"],"prefix":"10.1007","author":[{"given":"D. A.","family":"van Beek","sequence":"first","affiliation":[]},{"given":"M. A.","family":"Reniers","sequence":"additional","affiliation":[]},{"given":"R. R. H.","family":"Schiffelers","sequence":"additional","affiliation":[]},{"given":"J. E.","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Remelhe, M.A.P., van Beek, D.A.: Requirements for an interchange format for nonlinear hybrid systems. Technical Report D 3.6.1, HYCON NoE (2006)","key":"45_CR1"},{"unstructured":"MoBIES team: HSIF semantics. Technical report, University of Pennsylvania, internal document (2002)","key":"45_CR2"},{"key":"45_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11730637_37","volume-title":"Hybrid Systems: Computation and Control","author":"A. Pinto","year":"2006","unstructured":"Pinto, A., et al.: Interchange format for hybrid systems: Abstract semantics. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 491\u2013506. Springer, Heidelberg (2006)"},{"unstructured":"Columbus IST project (2006), \n                    \n                      http:\/\/www.columbus.gr","key":"45_CR4"},{"unstructured":"HYCON NoE (2005), \n                    \n                      http:\/\/www.ist-hycon.org\/","key":"45_CR5"},{"unstructured":"Cairano, S.D., Bemporad, A., Kvasnica, M.: An architecture for data interchange of switched linear systems. Technical Report D 3.3.1, HYCON NoE (2006)","key":"45_CR6"},{"issue":"7","key":"45_CR7","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","volume":"37","author":"W.P.M.H. Heemels","year":"2001","unstructured":"Heemels, W.P.M.H., de Schutter, B., Bemporad, A.: Equivalence of hybrid dynamical models. Automatica\u00a037(7), 1085\u20131091 (2001)","journal-title":"Automatica"},{"unstructured":"van Beek, D.A., et al.: A compositional interchange format for hybrid systems. Technical Report SE-Report 2006-05, Eindhoven University of Technology, Department of Mechanical Engineering, The Netherlands (2006), \n                    \n                      http:\/\/se.wtb.tue.nl\/sereports\/","key":"45_CR8"},{"key":"45_CR9","series-title":"The International Series in Engineering and Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-1561-6","volume-title":"Introduction to Physical Modeling with Modelica","author":"M. Tiller","year":"2001","unstructured":"Tiller, M.: Introduction to Physical Modeling with Modelica. The International Series in Engineering and Computer Science, vol.\u00a0615. Springer, Heidelberg (2001)"},{"unstructured":"EcosimPro (2006), \n                    \n                      http:\/\/www.ecosimpro.com","key":"45_CR10"},{"unstructured":"The MathWorks, Inc.: Using Simulink, version 6 (2005), \n                    \n                      http:\/\/www.mathworks.com","key":"45_CR11"},{"key":"45_CR12","series-title":"NATO ASI Series F: Computer and Systems Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-642-59615-5_13","volume-title":"Verification of Digital and Hybrid Systems","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Inan, M., Kurshan, R. (eds.) Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Science, vol.\u00a0170, pp. 265\u2013292. Springer, New York (2000)"},{"issue":"3","key":"45_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/32.489079","volume":"22","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T.A., Ho, P.H.: Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering\u00a022(3), 181\u2013201 (1996)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"45_CR14","series-title":"Lecture Notes in Control and Information Sciences","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109998","volume-title":"An Introduction to Hybrid Dynamical Systems","author":"A.J. Schaft van der","year":"2000","unstructured":"van der Schaft, A.J., Schumacher, J.M.: An Introduction to Hybrid Dynamical Systems. Lecture Notes in Control and Information Sciences, vol.\u00a0251. Springer, Heidelberg (2000)"},{"issue":"1","key":"45_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N. Lynch","year":"2003","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid I\/O automata. Information and Computation\u00a0185(1), 105\u2013157 (2003)","journal-title":"Information and Computation"},{"key":"45_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-60630-0_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T.A. Henzinger","year":"1995","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: A user guide to HyTech. In: Brinksma, E., et al. (eds.) TACAS 1995. LNCS, vol.\u00a01019, pp. 41\u201371. Springer, Heidelberg (1995)"},{"key":"45_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-540-31954-2_17","volume-title":"Hybrid Systems: Computation and Control","author":"G. Frehse","year":"2005","unstructured":"Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 258\u2013273. Springer, Heidelberg (2005)"},{"key":"45_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/3-540-57318-6_28","volume-title":"Hybrid Systems","author":"X. Nicollin","year":"1993","unstructured":"Nicollin, X., et al.: An approach to the description and analysis of hybrid systems. In: Grossman, R.L., et al. (eds.) HS 1991 and HS 1992. LNCS, vol.\u00a0736, pp. 149\u2013178. Springer, Heidelberg (1993)"},{"key":"45_CR19","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/SEFM.2005.42","volume-title":"Proc. Third IEEE Conference on Sofware Engineering and Formal Methods","author":"B. Gebremichael","year":"2005","unstructured":"Gebremichael, B., Vaandrager, F.: Specifying urgency in timed i\/o automata. In: Proc. Third IEEE Conference on Sofware Engineering and Formal Methods, pp. 64\u201374. IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"1","key":"45_CR20","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1006\/inco.2000.2999","volume":"163","author":"S. Bornot","year":"2000","unstructured":"Bornot, S., Sifakis, J.: An algebraic framework for urgency. Information and Computation\u00a0163(1), 172\u2013202 (2000)","journal-title":"Information and Computation"},{"key":"45_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/BFb0031990","volume-title":"Real-Time: Theory in Practice","author":"T. Bolognesi","year":"1992","unstructured":"Bolognesi, T., Lucidi, F.: Timed process algebras with urgent interactions and a unique powerful binary operator. In: Huizing, C., et al. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 124\u2013148. Springer, Heidelberg (1992)"},{"issue":"1-2","key":"45_CR22","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.jlap.2005.10.005","volume":"68","author":"D.A. Beek van","year":"2006","unstructured":"van Beek, D.A., et al.: Syntax and consistent equation semantics of hybrid Chi. Journal of Logic and Algebraic Programming\u00a068(1-2), 129\u2013210 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"unstructured":"Bohnenkamp, H.C., et al.: Modest: A compositional modeling formalism for real-time and stochastic systems. Technical Report Technical Report TR-CTIT-04-46, University of Twente, Centre for Telematics and Information Technology, The Netherlands (2004)","key":"45_CR23"},{"key":"45_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7793-9","volume-title":"Differential Equations with Discontinuous Right Hand Sides","author":"A.F. Filippov","year":"1988","unstructured":"Filippov, A.F.: Differential Equations with Discontinuous Right Hand Sides. Kluwer Academic Publishers, Dordrecht (1988)"}],"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-71493-4_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T01:07:37Z","timestamp":1550365657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540714927","9783540714934"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}