{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:13:29Z","timestamp":1749615209549,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319467498"},{"type":"electronic","value":"9783319467504"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46750-4_22","type":"book-chapter","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T02:11:57Z","timestamp":1474423917000},"page":"385-402","source":"Crossref","is-referenced-by-count":2,"title":["Hybrid Automata as Coalgebras"],"prefix":"10.1007","author":[{"given":"Renato","family":"Neves","sequence":"first","affiliation":[]},{"given":"Luis S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-63141-0_6","volume-title":"CONCUR \u201997: Concurrency Theory","author":"R Alur","year":"1997","unstructured":"Alur, R., Henzinger, T.A.: Modularity for timed and hybrid systems. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 74\u201388. Springer, Heidelberg (1997). doi: 10.1007\/3-540-63141-0_6"},{"key":"22_CR3","series-title":"LNCS","first-page":"57","volume-title":"CMSB 2003","author":"M Antoniotti","year":"2003","unstructured":"Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., Simeoni, M.: Modeling cellular behavior with hybrid automata: bisimulation and collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 57\u201374. Springer, Heidelberg (2003)"},{"key":"22_CR4","first-page":"891","volume":"9","author":"LS Barbosa","year":"2003","unstructured":"Barbosa, L.S.: Towards a calculus of state-based software components. J. Univ. Comput. Sci. 9, 891\u2013909 (2003)","journal-title":"J. Univ. Comput. Sci."},{"issue":"33\u201334","key":"22_CR5","doi-asserted-by":"crossref","first-page":"3149","DOI":"10.1016\/j.tcs.2009.02.042","volume":"410","author":"E Bartocci","year":"2009","unstructured":"Bartocci, E., Corradini, F., Di Berardini, M.R., Entcheva, E., Smolka, S.A., Grosu, R.: Modeling, simulation of cardiac tissue using hybrid i, o automata. Theor. Comput. Sci. 410(33\u201334), 3149\u20133165 (2009). Concurrent Systems Biology: To Nadia Busi (1968\u20132007)","journal-title":"Theor. Comput. Sci."},{"issue":"5\u20136","key":"22_CR6","doi-asserted-by":"crossref","first-page":"568","DOI":"10.3166\/ejc.17.568-578","volume":"17","author":"A Girard","year":"2011","unstructured":"Girard, A., Pappas, G.J.: Approximate bisimulation: a bridge between computer science and control theory. Eur. J. Control 17(5\u20136), 568\u2013578 (2011)","journal-title":"Eur. J. Control"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278\u2013292. IEEE Computer Society (1996)","DOI":"10.1109\/LICS.1996.561342"},{"issue":"2","key":"22_CR8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1017\/S0960129510000551","volume":"21","author":"I Hasuo","year":"2011","unstructured":"Hasuo, I., Jacobs, B.: Traces for coalgebraic components. Math. Struct. Comput. Sci. 21(2), 267\u2013320 (2011)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2\u20133","key":"22_CR9","doi-asserted-by":"crossref","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. Theor. Comput. Sci. 342(2\u20133), 229\u2013261 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"22_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/S0304-3975(99)00213-3","volume":"239","author":"B Jacobs","year":"2000","unstructured":"Jacobs, B.: Object-oriented hybrid systems of coalgebras plus monoid actions. Theor. Comput. Sci. 239(1), 41\u201395 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR11","unstructured":"Jacobs, B.: Introduction to coalgebra. Towards mathematics of states and observations (2012)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Liu, J., Liu, X., Koo, T.-KJ., Sinopoli, B., Sastry, S., Lee, E.A.: A hierarchical hybrid system model and its simulation. In: 38th IEEE Decision and Control, vol. 4, pp. 3508\u20133513. IEEE (1999)","DOI":"10.1109\/CDC.1999.827883"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-49163-5_13","volume-title":"Hybrid Systems V","author":"S Nadjm-Tehrani","year":"1999","unstructured":"Nadjm-Tehrani, S.: Time-deterministic hybrid transition systems. In: Antsaklis, P., Lemmon, M., Kohn, W., Nerode, A., Sastry, S. (eds.) HS 1997. LNCS, vol. 1567, pp. 238\u2013250. Springer, Heidelberg (1999). doi: 10.1007\/3-540-49163-5_13"},{"key":"22_CR14","unstructured":"Neves, R., Barbosa, L.S.: Hybrid automata as coalgebras (extended version) (2016). http:\/\/alfa.di.uminho.pt\/~nevrenato\/pdfs\/HAExtended.pdf"},{"key":"22_CR15","unstructured":"Neves, R., Barbosa, L.S., Hofmann, D., Martins, M.A.: Continuity as a computational effect. CoRR, abs\/1507.03219 (2016). To appear in J. Logical Algebraic Methods Programm"},{"issue":"1","key":"22_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3\u201380 (2000). Modern Algebra","journal-title":"Theor. Comput. Sci."},{"key":"22_CR17","unstructured":"Sokolova, A.: Coalgebraic analysis of probabilistic systems. Ph.D. thesis, Technische Universiteit Eindhoven (2005)"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/3-540-45352-0_5","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J Sproston","year":"2000","unstructured":"Sproston, J.: Decidable model checking of probabilistic hybrid automata. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, pp. 31\u201345. Springer, Heidelberg (2000). doi: 10.1007\/3-540-45352-0_5"},{"key":"22_CR19","volume-title":"Component Software","author":"C Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software. Beyond Object-Oriented Programming. Addison-Wesley, New York (1998)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46750-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T20:22:31Z","timestamp":1749586951000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46750-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319467498","9783319467504"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46750-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}