{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T05:38:53Z","timestamp":1744263533376},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212591"},{"type":"electronic","value":"9783540247432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24743-2_37","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:02:22Z","timestamp":1280761342000},"page":"555-569","source":"Crossref","is-referenced-by-count":15,"title":["Bisimulation of Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Arjan","family":"van der Schaft","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proceedings of the IEEE\u00a088, 971\u2013984 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"37_CR2","volume-title":"Controlled and conditioned invariants in linear system theory","author":"G. Basile","year":"1992","unstructured":"Basile, G., Marro, G.: Controlled and conditioned invariants in linear system theory. Prentice Hall, Englewood Cliffs (1992)"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Haghverdi, E., Tabuada, P., Pappas, G.J.: Unifying bisimulation relations for discrete and continuous systems, Category Theory and Computer Science, Electronic Notes in Theoretical Computer Science (August 2002)","DOI":"10.1016\/S1571-0661(04)80562-0"},{"key":"37_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-60084-1_85","volume-title":"Automata, Languages and Programming","author":"T.A. Henzinger","year":"1995","unstructured":"Henzinger, T.A.: Hybrid automata with finite bisimulations. In: F\u00fcl\u00f6p, Z., Gecseg, F. (eds.) ICALP 1995. LNCS, vol.\u00a0944, pp. 324\u2013335. Springer, Heidelberg (1995)"},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Markov Chains","year":"2002","unstructured":"Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"key":"37_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems V","author":"G. Lafferriere","year":"1998","unstructured":"Lafferriere, G., Pappas, G.J., Sastry, S.: Hybrid systems with finite bisimulations. In: Antsaklis, P., Kohn, W., Lemmon, M., Nerode, A., Sastry, S. (eds.) Hybrid Systems V. LNCS, Springer, Heidelberg (1998)"},{"key":"37_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Math. Contr. Signals, Syst.\u00a013, 1\u201321 (2000)","journal-title":"Math. Contr. Signals, Syst."},{"key":"37_CR8","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science (1989)"},{"key":"37_CR9","volume-title":"Communication and Mobile Systems: the \u03c0- Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communication and Mobile Systems: the \u03c0- Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"6","key":"37_CR10","doi-asserted-by":"publisher","first-page":"1144","DOI":"10.1109\/9.863598","volume":"45","author":"G.J. Pappas","year":"2000","unstructured":"Pappas, G.J., Lafferriere, G., Sastry, S.: Hierarchically consistent control systems. IEEE Transactions on Automatic Control\u00a045(6), 1144\u20131160 (2000)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"37_CR11","doi-asserted-by":"publisher","first-page":"2035","DOI":"10.1016\/j.automatica.2003.07.003","volume":"39","author":"G.J. Pappas","year":"2003","unstructured":"Pappas, G.J.: Bisimilar linear systems. Automatica\u00a039, 2035\u20132047 (2003)","journal-title":"Automatica"},{"key":"37_CR12","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1109\/TAC.2002.1000269","volume":"47","author":"G.J. Pappas","year":"2002","unstructured":"Pappas, G.J., Simic, S.: Consistent abstractions of affine control systems. IEEE Transactions on Automatic Control\u00a047, 745\u2013756 (2002)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"37_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017309","volume-title":"Theoretical Computer Science","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Deussen, P. (ed.) GI-TCS 1981. LNCS, vol.\u00a0104, Springer, Heidelberg (1981)"},{"key":"37_CR14","unstructured":"Pola, G., van der Schaft, A.J., Di Benedetto, M.D.: Bisimulation theory for switching linear systems (in preparation)"},{"key":"37_CR15","unstructured":"van der Schaft, A.J.: Equivalence of dynamical systems by bisimulation., Technical Report Department of Applied Mathematics, University of Twente (October 2003) (submitted for publication)"},{"key":"37_CR16","series-title":"Springer 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. Springer Lecture Notes in Control and Information Sciences, vol.\u00a0251. Springer, London (2000); Second revised edition to appear in Communications and Control Engineering Series, Springer, London (2004)"},{"key":"37_CR17","unstructured":"Tabuada, P., Pappas, G.J.: Bisimilar control affine systems. Systems and Control Letters (to appear)"},{"key":"37_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/3-540-45873-5_34","volume-title":"Hybrid Systems: Computation and Control","author":"P. Tabuada","year":"2002","unstructured":"Tabuada, P., Pappas, G.J., Lima, P.: Composing abstractions of hybrid systems. In: Tomlin, C., Greenstreet, M.R. (eds.) Hybrid Systems: Computation and Control. LNCS, pp. 436\u2013450. Springer, Heidelberg (2002)"},{"key":"37_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1082-5","volume-title":"Linear multivariable control: a geometric approach","author":"W.M. Wonham","year":"1985","unstructured":"Wonham, W.M.: Linear multivariable control: a geometric approach, 3rd edn. Springer, New York (1985)","edition":"3"}],"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-24743-2_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T03:19:22Z","timestamp":1559359162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24743-2_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212591","9783540247432"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24743-2_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}