乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:09:02Z","timestamp":1725613742247},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642243097"},{"type":"electronic","value":"9783642243103"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24310-3_21","type":"book-chapter","created":{"date-parts":[[2011,9,24]],"date-time":"2011-09-24T00:14:55Z","timestamp":1316823295000},"page":"301-316","source":"Crossref","is-referenced-by-count":0,"title":["Rigorous Discretization of Hybrid Systems Using Process Calculi"],"prefix":"10.1007","author":[{"given":"Sven","family":"Schneider","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Nestmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-540-31954-2_4","volume-title":"Hybrid Systems: Computation and Control","author":"M. Agrawal","year":"2005","unstructured":"Agrawal, M., Thiagarajan, P.S.: The discrete time behavior of lazy linear hybrid automata. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 55\u201369. Springer, Heidelberg (2005)"},{"issue":"7","key":"21_CR2","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proceedings of the IEEE\u00a088(7), 971\u2013984 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"21_CR3","first-page":"21","volume":"209","author":"J.C.M. Baeten","year":"2008","unstructured":"Baeten, J.C.M., van Beek, D.A., Cuijpers, P.J.L., et al.: Model-based engineering of embedded systems using the hybrid process algebra \u03c7. ENTCS\u00a0209, 21\u201353 (2008)","journal-title":"ENTCS"},{"key":"21_CR4","unstructured":"Beohar, H., Cuijpers, P.J.L., Baeten, J.C.M.: Design of asynchronous supervisors. CoRR, abs\/0910.0868 (2009)"},{"issue":"2-3","key":"21_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.tcs.2004.04.019","volume":"335","author":"J.A. Bergstra","year":"2005","unstructured":"Bergstra, J.A., Middelburg, C.A.: Process algebra for hybrid systems. Theor. Comput. Sci.\u00a0335(2-3), 215\u2013280 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR6","unstructured":"Brinksma, E., Krilavi\u010dius, T.: Behavioural hybrid process calculus. TR-CTIT-05.45, CTIT, University of Twente (2005)"},{"key":"21_CR7","series-title":"Ch.12","volume-title":"Handbook of Process Algebra","author":"R. Cleaveland","year":"2001","unstructured":"Cleaveland, R., L\u00fcttgen, G., Natarajan, V.: Handbook of Process Algebra. Ch.12. Elsevier Science Inc., Amsterdam (2001)"},{"key":"21_CR8","unstructured":"Cuijpers, P.J.L.: Hybrid Process Algebra. PhD thesis (2004)"},{"key":"21_CR9","first-page":"49","volume":"100","author":"P.J.L. Cuijpers","year":"2004","unstructured":"Cuijpers, P.J.L., Reniers, M.A.: Topological (bi-)simulation. ENTCS\u00a0100, 49\u201364 (2004)","journal-title":"ENTCS"},{"key":"21_CR10","unstructured":"Cuijpers, P.J.L., Reniers, M.A., Heemels, W.P.M.H.: Hybrid transition systems. TR, Department of Computer Science, TU\/e (2002)"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-45873-5_14","volume-title":"Hybrid Systems: Computation and Control","author":"J.M. Davoren","year":"2002","unstructured":"Davoren, J.M., Moor, T., Nerode, A.: Hybrid control loops, a\/d maps, and dynamic specifications. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 149\u2013163. Springer, Heidelberg (2002)"},{"issue":"3","key":"21_CR12","first-page":"179","volume":"30","author":"M. Fr\u00e4nzle","year":"2007","unstructured":"Fr\u00e4nzle, M., Herde, C.: Hysat: An efficient proof engine for bounded model checking of hybrid systems. FMSD\u00a030(3), 179\u2013198 (2007)","journal-title":"FMSD"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-04081-8_21","volume-title":"CONCUR 2009 - Concurrency Theory","author":"V. Galpin","year":"2009","unstructured":"Galpin, V., Bortolussi, L., Hillston, J.: Hype: A process algebra for compositional flows and emergent behaviour. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 305\u2013320. Springer, Heidelberg (2009)"},{"key":"21_CR14","first-page":"265","volume":"170","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A.: Verification of digital and hybrid systems. NATO ASI Series F\u00a0170, 265\u2013292 (2000)","journal-title":"NATO ASI Series F"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-63166-6_48","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"1997","unstructured":"Henzinger, T.A., Ho, P., Wong-Toi, H.: Hytech: A model checker for hybrid systems. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 460\u2013463. Springer, Heidelberg (1997)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-46430-1_14","volume-title":"Hybrid Systems: Computation and Control","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond hytech: Hybrid systems analysis using interval numerical methods. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 130\u2013144. Springer, Heidelberg (2000)"},{"issue":"1","key":"21_CR17","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.W.: Hybrid I\/O automata. Inf. Comput.\u00a0185(1), 105\u2013157 (2003)","journal-title":"Inf. Comput."},{"key":"21_CR18","volume-title":"Communication and concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Englewood Cliffs (1989)"},{"issue":"1","key":"21_CR19","first-page":"83","volume":"12","author":"T. Moor","year":"2002","unstructured":"Moor, T., Raisch, J., O\u2019Young, S.: Discrete supervisory control of hybrid systems based on l-complete approximations. DEDS\u00a012(1), 83\u2013107 (2002)","journal-title":"DEDS"},{"issue":"2","key":"21_CR20","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A. Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reasoning\u00a041(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reasoning"},{"key":"21_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-60472-3_18","volume-title":"Hybrid Systems II","author":"A. Puri","year":"1995","unstructured":"Puri, A., Varaiya, P.: Verification of hybrid systems using abstractions. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol.\u00a0999, pp. 359\u2013369. Springer, Heidelberg (1995)"},{"key":"21_CR22","series-title":"LNCIS","first-page":"99","volume-title":"Hierarchical Hybrid Control of a Multiproduct Batch Plant","author":"J. Raisch","year":"2005","unstructured":"Raisch, J., Moor, T.: Hierarchical Hybrid Control of a Multiproduct Batch Plant. LNCIS, vol.\u00a0322, pp. 99\u2013216. Springer, Heidelberg (2005)"},{"key":"21_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-24743-2_34","volume-title":"Hybrid Systems: Computation and Control","author":"W.C. Rounds","year":"2004","unstructured":"Rounds, W.C.: A spatial logic for the hybrid \u03c0-calculus. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 508\u2013522. Springer, Heidelberg (2004)"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-45873-5_32","volume-title":"Hybrid Systems: Computation and Control","author":"T. Stauner","year":"2002","unstructured":"Stauner, T.: Discrete-time refinement of hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 407\u2013420. Springer, Heidelberg (2002)"},{"issue":"1","key":"21_CR25","first-page":"57","volume":"32","author":"A. Tiwari","year":"2008","unstructured":"Tiwari, A.: Abstractions for hybrid systems. FMSD\u00a032(1), 57\u201383 (2008)","journal-title":"FMSD"},{"key":"21_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1007\/978-3-540-71493-4_45","volume-title":"Hybrid Systems: Computation and Control","author":"D.A. Beek van","year":"2007","unstructured":"van Beek, D.A., Reniers, M.A., Schiffelers, R.R.H., et al.: Foundations of a compositional interchange format for hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 587\u2013600. Springer, Heidelberg (2007)"},{"issue":"3","key":"21_CR27","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s00165-005-0067-8","volume":"17","author":"M. Wulf De","year":"2005","unstructured":"De Wulf, M., Doyen, L., Raskin, J.: Almost asap semantics: from timed models to timed implementations. Formal Asp. Comput.\u00a017(3), 319\u2013341 (2005)","journal-title":"Formal Asp. Comput."}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24310-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T14:31:39Z","timestamp":1554647499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24310-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642243097","9783642243103"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24310-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}