{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:16:34Z","timestamp":1762521394668},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540216711"},{"type":"electronic","value":"9783540409038"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-40903-8_12","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:37:38Z","timestamp":1294396658000},"page":"151-165","source":"Crossref","is-referenced-by-count":6,"title":["Formal Semantics of Hybrid Chi"],"prefix":"10.1007","author":[{"given":"R. R. H.","family":"Schiffelers","sequence":"first","affiliation":[]},{"given":"D. A.","family":"van Beek","sequence":"additional","affiliation":[]},{"given":"K. L.","family":"Man","sequence":"additional","affiliation":[]},{"given":"M. A.","family":"Reniers","sequence":"additional","affiliation":[]},{"given":"J. E.","family":"Rooda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"van Beek, D.A., van den Ham, A., Rooda, J.E.: Modelling and control of process industry batch production systems. In: 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona (2002) CD-ROM","DOI":"10.3182\/20020721-6-ES-1901.00555"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bos, V., Kleijn, J.J.T.: Formal Specification and Analysis of Industrial Systems. PhD thesis, Eindhoven University of Technology (2002)","DOI":"10.1080\/00207540210159563"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0736-5845(00)00027-2","volume":"17","author":"V. Bos","year":"2000","unstructured":"Bos, V., Kleijn, J.J.T.: Automatic verification of a manufacturing system. Robotics and Computer Integrated Manufacturing\u00a017, 185\u2013198 (2000)","journal-title":"Robotics and Computer Integrated Manufacturing"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Schiffelers, R.R.H., van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E.: A hybrid language for modeling, simulation and verification. In: Engell, S., Gu\u00e9guen, H., Zaytoon, J. (eds.) IFAC Conference on Analysis and Design of Hybrid Systems, Saint-Malo, Brittany, France, pp. 235\u2013240 (2003)","DOI":"10.1016\/S1474-6670(17)36431-5"},{"key":"12_CR5","unstructured":"Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. Technical Report Computer Science Reports 03-07, Eindhoven University of Technology, Department of Computer Science, The Netherlands (2003)"},{"key":"12_CR6","unstructured":"Rounds, W.C., Song, H.: The \u03c6-calculus - a hybrid extension of the \u03c0-calculus to embedded systems. Technical Report CSE 458-02, University of Michigan, USA (2002)"},{"key":"12_CR7","first-page":"171","volume-title":"A Classical Mind, Essays in Honour of C.A.R. Hoare","author":"H. Jifeng","year":"1994","unstructured":"Jifeng, H.: From CSP to hybrid systems. In: Roscoe, A.W. (ed.) A Classical Mind, Essays in Honour of C.A.R. Hoare, pp. 171\u2013189. Prentice-Hall, Englewood Cliffs (1994)"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/BFb0020972","volume-title":"Hybrid Systems III","author":"Z. Chaochen","year":"1996","unstructured":"Chaochen, Z., Ji, W., Ravn, A.P.: A formal description of hybrid systems. In: Alur, R., Sontag, E.D., Henzinger, T.A. (eds.) HS 1995. LNCS, vol.\u00a01066, pp. 511\u2013530. Springer, Heidelberg (1996)"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1008330914786","volume":"11","author":"R. David","year":"2001","unstructured":"David, R., Alla, H.: On hybrid Petri nets. Discrete Event Dynamic Systems: Theory & Applications\u00a011, 9\u201340 (2001)","journal-title":"Discrete Event Dynamic Systems: Theory & Applications"},{"key":"12_CR10","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I\/O automata. Technical Report MIT-LCS-TR-827d, MIT Laboratory for Computer Science, Cambridge, MA 02139 (2003) (to appear in Information and Computation)"},{"key":"12_CR11","doi-asserted-by":"publisher","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. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/JPROC.2002.805817","volume":"91","author":"R. Alur","year":"2003","unstructured":"Alur, R., Dang, T., Esposito, J., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE\u00a091, 11\u201328 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/3-540-44929-9_38","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A.: Masaccio: A formal model for embedded components. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 549\u2013563. Springer, Heidelberg (2000)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Mosterman, P.J., Ciolfi, J.E.: Embedded code generation for efficient reinitialization. In: 15th Triennial World Congress of the International Federation of Automatic Control (2002) CD-ROM","DOI":"10.3182\/20020721-6-ES-1901.00554"},{"key":"12_CR15","unstructured":"Cuijpers, P.J.L., Reniers, M.A., Heemels, W.P.M.H.: Hybrid transition systems. Technical Report Computer Science Reports 02-12, Eindhoven University of Technology, Department of Computer Science, The Netherlands (2002)"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"102","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, 102\u2013119 (1996)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40903-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,16]],"date-time":"2021-11-16T21:37:40Z","timestamp":1637098660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40903-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540216711","9783540409038"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40903-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}