{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:43:41Z","timestamp":1725576221278},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231677"},{"type":"electronic","value":"9783540302063"}],"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-30206-3_22","type":"book-chapter","created":{"date-parts":[[2011,1,18]],"date-time":"2011-01-18T10:19:15Z","timestamp":1295345955000},"page":"309-324","source":"Crossref","is-referenced-by-count":11,"title":["Structured Modeling of Concurrent Stochastic Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Mikhail","family":"Bernadsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raman","family":"Sharykin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","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., 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":"22_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Dang, T., Esposito, J., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91(1) (2003)","DOI":"10.1109\/JPROC.2002.805817"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-46430-1_5","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2000","unstructured":"Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specifications of hybrid systems in charon. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 6\u201319. Springer, Heidelberg (2000)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-540-24743-2_16","volume-title":"Hybrid Systems: Computation and Control","author":"M. Bujorianu","year":"2004","unstructured":"Bujorianu, M.: Extended stochastic hybrid systems and their reachability problem. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 234\u2013249. Springer, Heidelberg (2004)"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-44804-7_6","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"P. D\u2019Argenio","year":"2001","unstructured":"D\u2019Argenio, P., Hermanns, H., Katoen, J.-P., Klaren, R.: Modest - a modeling and description language for stochastic timed systems. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 87\u2013104. Springer, Heidelberg (2001)"},{"key":"22_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-4483-2","volume-title":"Markov processes and optimization","author":"M.H.A. Davis","year":"1993","unstructured":"Davis, M.H.A.: Markov processes and optimization. Chapman & Hall, Boca Raton (1993)"},{"key":"22_CR7","unstructured":"Eurocontrol Experimental Centre. User manual for the base of aircraft data (BADA) revision 3.3 (2003)"},{"issue":"6","key":"22_CR8","doi-asserted-by":"publisher","first-page":"1952","DOI":"10.1137\/S0363012996299302","volume":"35","author":"M.K. Ghosh","year":"1997","unstructured":"Ghosh, M.K., Araposthasis, A., Marcus, S.I.: Ergodic control of switched diffusions. SIAM Journal on Control Optimization\u00a035(6), 1952\u20131988 (1997)","journal-title":"SIAM Journal on Control Optimization"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-540-24743-2_25","volume-title":"Hybrid Systems: Computation and Control","author":"W. Glover","year":"2004","unstructured":"Glover, W., Lygeros, J.: A stochastic hybrid model for air traffic control simulation. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 372\u2013386. Springer, Heidelberg (2004)"},{"issue":"8","key":"22_CR10","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"Communications of the ACM"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-46430-1_16","volume-title":"Hybrid Systems: Computation and Control","author":"J. Hu","year":"2000","unstructured":"Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 160\u2013173. Springer, Heidelberg (2000)"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1007\/978-3-540-24743-2_44","volume-title":"Hybrid Systems: Computation and Control","author":"P. Lincoln","year":"2004","unstructured":"Lincoln, P., Tiwari, A.: Symbolic systems biology: Hybrid modeling and analysis of biological networks. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 660\u2013672. Springer, Heidelberg (2004)"},{"issue":"2","key":"22_CR13","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0304-3975(94)00171-E","volume":"138","author":"G. Lowe","year":"1995","unstructured":"Lowe, G.: Probabilistic and prioritized models of Timed CSP. Theoretical Computer Science\u00a0138(2), 315\u2013332 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"22_CR14","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. Information and Computation\u00a0185(1), 105\u2013157 (2003)","journal-title":"Information and Computation"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BFb0032003","volume-title":"Real-Time: Theory in Practice","author":"O. Maler","year":"1992","unstructured":"Maler, O., Manna, Z., Pnueli, A.: From timed to hybrid systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 447\u2013484. Springer, Heidelberg (1992)"},{"issue":"3-4","key":"22_CR16","doi-asserted-by":"crossref","first-page":"465","DOI":"10.5802\/aif.593","volume":"25","author":"P.A. Meyer","year":"1975","unstructured":"Meyer, P.A.: Renaissance, recollectments, m\u00e9langes, ralentissement de processus de markov. Annales de l\u2019institut Fourier\u00a025(3-4), 465\u2013497 (1975)","journal-title":"Annales de l\u2019institut Fourier"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communication Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"22_CR18","unstructured":"Norman, G., Parker, D., Kwiatkowska, M., Shukla, S., Gupta, R.: Using probabilistic model checking for dynamic power management. In: Proc. of Third Workshop on Automated Verification of Critical Systems (2003)"},{"key":"22_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14394-6","volume-title":"Stochastic Differential Equations","author":"B. \u00d8ksendal","year":"2003","unstructured":"\u00d8ksendal, B.: Stochastic Differential Equations. Springer, Heidelberg (2003)"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Pola, G., Bujorianu, M., Lygeros, J., Di Benedetto, M.: Stochastic hybrid systems: An overview. In: Proc. of the IFAC Conference on Analysis and Design of Hybrid Systems, pp. 45\u201350 (2003)","DOI":"10.1016\/S1474-6670(17)36405-4"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Simunic, T., Behini, L., Glynn, P., De Micheli, G.: Dynamic power management for portable systems. In: Mobile computing and networking, 6th Intl. Conference (2000)","DOI":"10.1145\/345910.345914"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30206-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:48:52Z","timestamp":1558309732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30206-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231677","9783540302063"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30206-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}