{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:50:07Z","timestamp":1725515407725},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789284"},{"type":"electronic","value":"9783540789291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78929-1_9","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T09:01:58Z","timestamp":1216285318000},"page":"116-129","source":"Crossref","is-referenced-by-count":6,"title":["Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions"],"prefix":"10.1007","author":[{"given":"P. J. L.","family":"Cuijpers","sequence":"first","affiliation":[]},{"given":"M. A.","family":"Reniers","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996)","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 278\u2013292. IEEE Computer Society Press, Los Alamitos (1996)"},{"issue":"1","key":"9_CR2","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":"9_CR3","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.tcs.2004.04.019","volume":"335","author":"J.A. Bergstra","year":"2005","unstructured":"Bergstra, J.A., Middelburg, C.A.: Process algebra for hybrid systems. Theoretical Computer Science\u00a0335, 215\u2013280 (2005)","journal-title":"Theoretical Computer Science"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.jlap.2004.02.001","volume":"62","author":"P.J.L. Cuijpers","year":"2005","unstructured":"Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. Journal of Logic and Algebraic Programming\u00a062, 191\u2013245 (2005)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"9_CR5","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., Man, K.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H.: Syntax and consistent equation semantics of hybrid chi. Journal of Logic and Algebraic Programming\u00a068, 129\u2013210 (2006)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/3-540-36580-X_32","volume-title":"Hybrid Systems: Computation and Control","author":"W.C. Rounds","year":"2003","unstructured":"Rounds, W.C., Song, H.: The \u03c6-calculus: A language for distributed control of reconfigurable embedded systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 435\u2013449. Springer, Heidelberg (2003)"},{"key":"9_CR7","volume-title":"Texts in Applied Mathematics","author":"J. Polderman","year":"1998","unstructured":"Polderman, J., Willems, J.: Introduction to Mathematical Systems Theory: A Behavioural Approach. In: Texts in Applied Mathematics, vol.\u00a026, Springer, Heidelberg (1998)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-45873-5_8","volume-title":"Hybrid Systems: Computation and Control","author":"J.P. Aubin","year":"2002","unstructured":"Aubin, J.P., Dordan, O.: Dynamical qualitative analysis of evolutionary systems. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 62\u201375. Springer, Heidelberg (2002)"},{"key":"9_CR9","series-title":"Lecture Notes in Control and Information Sciences","volume-title":"An Introduction to Hybrid Dynamical Systems","year":"2000","unstructured":"van der Schaft, A.J., Schumacher, J.M. (eds.): An Introduction to Hybrid Dynamical Systems. Lecture Notes in Control and Information Sciences, vol.\u00a0251. Springer-Verlag, London (2000)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/978-3-540-24743-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"J. Davoren","year":"2004","unstructured":"Davoren, J., Coulthard, V., Markey, N., Moor, T.: Non-deterministic temporal logics for general flow systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 280\u2013295. Springer, Heidelberg (2004)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/9.981719","volume":"47","author":"J.P. Aubin","year":"2002","unstructured":"Aubin, J.P., Lygeros, J., Quincampoix, M., Sastry, S., Seube, N.: Impulse differential inclusions: A viability approach to hybrid systems. IEEE Transactions on Automatic Control\u00a047, 2\u201320 (2002)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-71493-4_14","volume-title":"Hybrid Systems: Computation and Control","author":"J.M. Davoren","year":"2007","unstructured":"Davoren, J.M., Tabuada, P.: On simulations and bisimulation of general flow systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 145\u2013158. Springer, Heidelberg (2007)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-49163-5_3","volume-title":"Hybrid Systems V","author":"J.M. Davoren","year":"1999","unstructured":"Davoren, J.M.: On hybrid systems and the modal \u03bc-calculus. In: Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.) HS 1997. LNCS, vol.\u00a01567, pp. 38\u201369. Springer, Heidelberg (1999)"},{"key":"9_CR14","unstructured":"Cuijpers, P., Reniers, M., Heemels, W.: Hybrid transition systems. Technical Report CS-Report 02-12, TU\/e, Eindhoven, Netherlands (2002)"},{"key":"9_CR15","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04995-2","volume-title":"Process Algebra with Timing","author":"J.C.M. Baeten","year":"2002","unstructured":"Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing. Monographs in Theoretical Computer Science. Springer, Heidelberg (2002)"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-10003-2_79","volume-title":"Automata, Languages and Programming","author":"M.C.B. Hennessy","year":"1980","unstructured":"Hennessy, M.C.B., Milner, R.: On observing nondeterminism and concurrency. In: de Bakker, J.W., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 299\u2013309. Springer, Heidelberg (1980)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.tcs.2005.03.045","volume":"342","author":"E. Haghverdi","year":"2005","unstructured":"Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control, and hybrid systems. Theoretical Computer Science\u00a0342, 229\u2013261 (2005)","journal-title":"Theoretical Computer Science"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Smirnov, G.: Introduction to the Theory of Differential Inclusions. Graduate Studies in Mathematics. American Mathematical Society 41 (2002)","DOI":"10.1090\/gsm\/041"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78929-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:04:35Z","timestamp":1619521475000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78929-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789284","9783540789291"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78929-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}