{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:08Z","timestamp":1725511988363},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71493-4_14","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T17:33:57Z","timestamp":1180546437000},"page":"145-158","source":"Crossref","is-referenced-by-count":10,"title":["On Simulations and Bisimulations of General Flow Systems"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Davoren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Tabuada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","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":"14_CR2","unstructured":"Julius, A.: On Interconnection and Equivalences of Continuous and Discrete Systems: A Behavioural Perspective. The University of Twente, PhD thesis (2005)"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"N.A. Lynch","year":"2003","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.: Hybrid I\/O Automata. Information and Computation\u00a0185, 105\u2013157 (2003)","journal-title":"Information and Computation"},{"key":"14_CR4","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":"14_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.sysconle.2003.09.013","volume":"52","author":"P. Tabuada","year":"2004","unstructured":"Tabuada, P., Pappas, G.J.: Bisimilar control affine systems. Systems and Control Letters\u00a052, 49\u201358 (2004)","journal-title":"Systems and Control Letters"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"2160","DOI":"10.1109\/TAC.2004.838497","volume":"49","author":"A. Schaft van der","year":"2004","unstructured":"van der Schaft, A.: Equivalence of dynamical systems by bisimulation. IEEE Trans. Automatic Control\u00a049, 2160\u20132172 (2004)","journal-title":"IEEE Trans. Automatic Control"},{"key":"14_CR7","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.M. Davoren","year":"2004","unstructured":"Davoren, J.M., et al.: 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":"14_CR8","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 mu-calculus. In: Antsaklis, P.J., et al. (eds.) HS 1997. LNCS, vol.\u00a01567, pp. 38\u201369. Springer, Heidelberg (1999)"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-322-96657-5_5","volume":"2","author":"J.C. Willems","year":"1989","unstructured":"Willems, J.C.: Models for dynamics. Dynamics Reported\u00a02, 171\u2013269 (1989)","journal-title":"Dynamics Reported"},{"key":"14_CR10","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":"14_CR11","doi-asserted-by":"crossref","unstructured":"Davoren, J.M., Moor, T.: Non-deterministic reactive systems, from hybrid systems and behavioural systems perspectives. In: Proc. 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS\u201906), pp. 409\u2013416. IFAC (2006)","DOI":"10.1016\/B978-008044613-4.50073-2"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/9.981719","volume":"47","author":"J.-P. Aubin","year":"2002","unstructured":"Aubin, J.-P., et al.: Impulse differential inclusions: A viability approach to hybrid systems. IEEE Trans. on Automatic Control\u00a047, 2\u201320 (2002)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"14_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"14_CR14","first-page":"997","volume-title":"Handbook of Theoretical Computer Science","author":"E. Emerson","year":"1990","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 997\u20131072. Elsevier Science, Amsterdam (1990)"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"Emerson, E.A., Halpern, J.Y.: \u201cSometimes\u201d and \u201cNot Never\u201d revisited: on branching versus linear time. Journal of the ACM\u00a033, 151\u2013178 (1986)","journal-title":"Journal of the ACM"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/3-540-45351-2_35","volume-title":"Hybrid Systems: Computation and Control","author":"T. Moor","year":"2001","unstructured":"Moor, T., Davoren, J.M.: Robust controller synthesis for hybrid systems using modal logic. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.\u00a02034, pp. 433\u2013446. Springer, Heidelberg (2001)"}],"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-71493-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:21:18Z","timestamp":1605745278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714927","9783540714934"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_14","relation":{},"subject":[]}}