{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:34:35Z","timestamp":1754487275235,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58468-4_185","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:15:24Z","timestamp":1330272924000},"page":"583-604","source":"Crossref","is-referenced-by-count":7,"title":["From physical modelling to compositional models of hybrid systems"],"prefix":"10.1007","author":[{"given":"Simin","family":"Nadjm-Tehrani","sequence":"first","affiliation":[]},{"given":"Jan-Erik","family":"Str\u00f6mberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. An Old-Fashioned Recipe for Real-Time. In de Bakker et al. [7], pages 1\u201327.","DOI":"10.1007\/BFb0031985"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for Real-Time Systems. In Proceedings of IEEE Symposium on Logic in Computer Science, pages 414\u2013425. Computer Society Press, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, and P.H. Ho. Automatic Symbolic Verification of Embedded Systems. In Proc. of Real Time Systems Symposium. Computer Society Press, 1993.","DOI":"10.1109\/REAL.1993.393520"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic Model Checking: 1020 States and Beyond. In Proc. IEEE Conf. on Logic in Computer Science, pages 428\u2013439. Computer Society Press, 1990.","DOI":"10.1109\/LICS.1990.113767"},{"issue":"2","key":"29_CR5","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986. An early version of the paper appeared at the 10th ACM symposium on principles of programming languages, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, O. Grumberg, and K. Hamaguchi. Another Look at LTL Model Checking. In Proc. 6th Int. Conf. on Computer Aided Verification (CAV'94). Springer Verlag, 1994.","DOI":"10.1007\/3-540-58179-0_72"},{"key":"29_CR7","unstructured":"J.W. de Bakker, C. Huizing, W.P. de Roever, and G.Rozenberg, editors. Proc. REX workshop 1991. Springer Verlag, LNCS 600, 1992."},{"key":"29_CR8","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00355298","volume":"4","author":"E.A. Emerson","year":"1992","unstructured":"E.A. Emerson, A.K. Mok, A.P. Sistla, and J. Srinivasan. Quantitative Temporal Reasoning. Real-Time Systems, 4:331\u2013352, 1992. An early version of the paper appeared at the workshop on automatic verification methods for finite state systems, Grenoble, 1989.","journal-title":"Real-Time Systems"},{"volume-title":"LNCS 736","year":"1993","key":"29_CR9","unstructured":"R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors. Proc. Workshop on Theory of Hybrid Systems, October 1992, LNCS 736, Lyngby, Denmark, 1993. Springer Verlag."},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"E. Harel, O. Lichtenstein, and A. Pnueli. Explicit Clock Temporal Logic. In Proceedings of IEEE Symposium on Logic in Computer Science, pages 402\u2013413. Computer Society Press, 1990.","DOI":"10.1109\/LICS.1990.113765"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, and A. Pnueli. Temporal Proof Methodologies for Real-Time Systems. In 18th ACM Symp. on Principles of Programming Languages, pages 353\u2013366, 1991.","DOI":"10.1145\/99583.99629"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"T.A Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-time Systems. In proceedings of IEEE Symposium on Logic in Computer Science, pages 394\u2013406. Computer Society Press, 1992.","DOI":"10.1109\/LICS.1992.185551"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"R. Kaivola. Compositional Model Checking for Linear-Time Temporal Logic. In Proc. 4th int. workshop on Computer Aided Verification, pages 248\u2013259. Springer Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_20"},{"key":"29_CR14","volume-title":"System dynamics \u2014 A unified approach","author":"D.C. Karnopp","year":"1990","unstructured":"D.C. Karnopp, R.C. Rosenberg, and D. Margolis. System dynamics \u2014 A unified approach (2nd edition). John Wiley & Sons, New York, 1990.","edition":"2nd edition"},{"key":"29_CR15","first-page":"179","volume-title":"LNCS 736","author":"Y. Kesten","year":"1993","unstructured":"Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration Graphs: A Class of Decidable Hybrid Systems. In Grossman et al.[9], pages 179\u2013208."},{"key":"29_CR16","unstructured":"D. Long. Model Checking, Abstraction, and Compositional Verification. PhD thesis, School of Computer Science, Carnegie Mellon University, July 1993. CMU-CS-93-178."},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"N. Lynch and F. Vaandrager. Forward and Backward Simulations, Part I: Untimed Systems. Technical Report MIT\/LCS\/TM-486, Laboratory for Computer science, MIT, May 1993.","DOI":"10.1007\/BFb0032002"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"N. Lynch and F. Vaandrager. Forward and Backward Simulations, Part II: Timing-based Systems. Technical Report MIT\/LCS\/TM-487, Laboratory for Computer science, MIT, May 1993.","DOI":"10.1007\/BFb0032002"},{"key":"29_CR19","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From Timed to Hybrid Systems. In de Bakker et al. [7], pages 447\u2013484.","DOI":"10.1007\/BFb0032003"},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems \u2014 volume I. Springer Verlag, 1991.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"29_CR21","first-page":"4","volume-title":"LNCS 736","author":"Z. Manna","year":"1993","unstructured":"Z. Manna and A. Pnueli. Verifying Hybrid Systems. In Grossman et al.[9], pages 4\u201335."},{"key":"29_CR22","doi-asserted-by":"crossref","unstructured":"K. Marzullo, F. B. Schneider, and N. Budhiraja. Derivation of Sequential, Real-time, Process Control Programs. In A.M. van Tilborg and G.M. Koob, editors, Foundations of Real-Time Computing, Volume I: Formal Specifications and Methods, pages 39\u201354. Kluwer Academic Publishers, 1991.","DOI":"10.21236\/ADA238877"},{"issue":"5","key":"29_CR23","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/52.156897","volume":"9","author":"M. Morin","year":"1992","unstructured":"M. Morin, S. Nadjm-Tehrani, P. \u00f6sterling, and E. Sandewall. Real-Time Hierarchical Control. IEEE Software, 9(5):51\u201357, September 1992.","journal-title":"IEEE Software"},{"key":"29_CR24","unstructured":"S. Nadjm-Tehrani. Reactive Systems in Physical Environments: Compositional Modelling and Framework for Verification. PhD thesis, Dept. of Computer and Information Science, Link\u00f6ping University, March 1994. Dissertation No. 338."},{"key":"29_CR25","first-page":"149","volume-title":"LNCS 736","author":"X. Nicollin","year":"1993","unstructured":"X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An Approach to Description and Analysis of Hybrid Systems. In Grossman et al. [9], pages 149\u2013178."},{"key":"29_CR26","volume-title":"Temporal Logic for Real-Time Systems","author":"J. S. Ostroff","year":"1989","unstructured":"J. S. Ostroff. Temporal Logic for Real-Time Systems. Research Studies Press Ltd., Somerset, 1989."},{"issue":"2","key":"29_CR27","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1109\/71.80145","volume":"1","author":"J. S. Ostroff","year":"1990","unstructured":"J. S. Ostroff. Deciding Properties of Timed Transition Models. IEEE Transactions on Parallel and Distributed Systems, 1(2):170\u2013183, April 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"29_CR28","volume-title":"Analysis and design of engineering systems","author":"H. M. Paynter","year":"1961","unstructured":"H. M. Paynter. Analysis and design of engineering systems. MIT Press, Cambridge, Mass., 1961."},{"key":"29_CR29","unstructured":"A. P. Ravn and H. Rischel. Requirements Capture for Embedded Real-Time Systems. In IMACS-IFAC Symposium: Modelling and Control of Technological Systems. IMACS, May 1991."},{"key":"29_CR30","first-page":"412","volume-title":"Combining Logic and Differential Equations for Describing Realworld Systems","author":"E. Sandewall","year":"1989","unstructured":"E. Sandewall. Combining Logic and Differential Equations for Describing Realworld Systems. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89), Detroit, pages 412\u2013420. Morgan. Kaufman, 1989."},{"key":"29_CR31","doi-asserted-by":"crossref","unstructured":"E.D. Sontag. Nonlinear regulation: the piecewise linear approach. IEEE Trans. on Automatic Control, 26(2), April 1981.","DOI":"10.1109\/TAC.1981.1102596"},{"key":"29_CR32","unstructured":"J.A. Stiver and P.J. Antsaklis. Modeling and Analysis of Hybrid Systems. In Proc. of the 31st IEEE Conf. on Decision and Control (CDC '92), pages 3748\u20133751, Tucson, 1992."},{"key":"29_CR33","unstructured":"J.E. Str\u00f6mberg and S. Nadjm-Tehrani. On Discrete and Hybrid Representation of Hybrid Systems. In Proceedings of the SCS International Conference on Modeling and Simulation (ESM '94), pages 1085\u20131089, Barcelona, June 1994."},{"key":"29_CR34","first-page":"115","volume":"25","author":"J.E. Str\u00f6mberg","year":"1993","unstructured":"J.E. Str\u00f6mberg, J. Top, and U. S\u00f6derman. Variable causality in bond graphs caused by discrete effects. In Proc. First Int. Conf. on Bond Graph Modeling (ICBGM '93), number 2 in SCS Simulation Series, volume 25, pages 115\u2013119, San Diego, 1993.","journal-title":"Proc. First Int. Conf. on Bond Graph Modeling (ICBGM '93), number 2 in SCS Simulation Series"},{"key":"29_CR35","doi-asserted-by":"crossref","unstructured":"F. Wang, A.K. Mok, and E. A. Emerson. Symbolic Model Checking for Distributed Real-Time Systems. In J.C.P. Woodcock and P.G. Larsen, editors, Proceedings of the first Int. Symposium of Formal Methods Europe, FME'93: Industrial-Strength Formal Methods, pages 632\u2013651. Springer Verlag, 1993.","DOI":"10.1007\/BFb0024671"},{"key":"29_CR36","unstructured":"D. S. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufman, 1990."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_185.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:31:06Z","timestamp":1742596266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_185"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_185","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}