{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:31:56Z","timestamp":1777890716810,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540611554","type":"print"},{"value":"9783540683346","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0020972","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"511-530","source":"Crossref","is-referenced-by-count":59,"title":["A formal description of hybrid systems"],"prefix":"10.1007","author":[{"given":"Zhou","family":"Chaochen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Ji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders P.","family":"Ravn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"P.J. Antsaklis, J.A. Stiver and M.D. Lemmon. Hybrid System Modeling and Autonomous Control Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 366\u2013392, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_37"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"M.S. Branicky, V.S. Brokar and S.K. Mitter. A Unified Framework for Hybrid Control. In Proceedings of the 33rd Conference on the Decision and Control, pp 4228\u20134234, IEEE Press, 1994","DOI":"10.1109\/CDC.1994.411615"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"A. Back, J. Guckenheimer and M. Myers. A Dynamical Similation Facility for Hybrid Systems, In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 255\u2013267, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_32"},{"key":"41_CR4","volume-title":"Impulse Control and QuasiVariational Inequalities","author":"A. Bensoussan","year":"1984","unstructured":"A. Bensoussan and J.-L. Lions. Impulse Control and QuasiVariational Inequalities. Gauthier-Villars, Paris, 1984."},{"key":"41_CR5","unstructured":"Jifeng He. From CSP to Hybrid Systems, In A Classical Mind, Essays in Honour of C.A.R. Hoare, A.W. Roscoe ed., pp 171\u2013189, Prentice-Hall International, 1994."},{"key":"41_CR6","unstructured":"C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall International, 1985."},{"key":"41_CR7","volume-title":"Technical Report, No. OLD MRH 1\/1, ProCoS ESPRIT BRA 7071","author":"M.R. Hansen","year":"1993","unstructured":"M.R. Hansen, E.-R. Olderog, M. Schenke, M. Fr\u00e4nzle, M. M\u00fcller-Olm, B. von Karger and H. Rischel. A Duration Semantics for Real-Time Reactive Systems. Technical Report, No. OLD MRH 1\/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany, 1993."},{"key":"41_CR8","unstructured":"N.F. Karstensen and S. M\u00f8rk. Duration Calculus Semantics for SDL, Master's Thesis, Department of Computer Science, Technical University of Denmark, 1995."},{"key":"41_CR9","unstructured":"R. Milner. Communication and Concurrency, Prentice-Hall International, 1989."},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Verifying Hybrid Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 4\u201335, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_22"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"A. Nerode and W. Kohn. Models for Hybrid Systems: Automata, Topologies, Controllability Observability. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 317\u2013356, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"X. Nicollin, A. Olivero, J. Sifakis and S. Yovine. An Approach to the Description and Analysis of Hybrid Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 149\u2013178, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"G.M. Reed and A.W. Roscoe. Metric Spaces as Models for Real-Time Concurrency. In Mathematical Foundations of Programming, LNCS 298, pp 331\u2013343, Springer Verlag, 1987.","DOI":"10.1007\/3-540-19020-1_17"},{"key":"41_CR14","unstructured":"Wang Yi. CCS + Time = an Interleaving Model for Real Time Systems. In Proc. of ICALP'91, LNCS 510, Springer Verlag, 1991."},{"issue":"5","key":"41_CR15","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z. Chaochen","year":"1991","unstructured":"Zhou Chaochen, C.A.R. Hoare and A.P. Ravn. A Calculus for Durations. In Information Processing Letters, 40(5), pp 269\u2013276, 1991.","journal-title":"Information Processing Letters"},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, M.R. Hansen, A.P. Ravn and H. Rischel. Duration Specifications for Shared Processors. In Proc. of Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, pp 21\u201332, Springer Verlag, 1992.","DOI":"10.1007\/3-540-55092-5_2"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Zhou Chaochen, A.P. Ravn and M.R. Hansen. An Extended Duration Calculus for Hybrid Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 36\u201359, Springer Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_23"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:40:55Z","timestamp":1586580055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020972"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0020972","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}