{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:14:04Z","timestamp":1725491644781},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540353621"},{"type":"electronic","value":"9783540353652"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11777830_7","type":"book-chapter","created":{"date-parts":[[2006,6,19]],"date-time":"2006-06-19T15:21:04Z","timestamp":1150730464000},"page":"93-107","source":"Crossref","is-referenced-by-count":2,"title":["Model Checking for a Class of Performance Properties of Fluid Stochastic Models"],"prefix":"10.1007","author":[{"given":"Manuela L.","family":"Bujorianu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius C.","family":"Bujorianu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"2004","unstructured":"Alur, R., Pappas, G.J. (eds.): HSCC 2004. LNCS, vol.\u00a02993. Springer, Heidelberg (2004)"},{"key":"7_CR2","unstructured":"Bertsekas, D.P., Shreve, S.E.: Stochastic Optimal Control: The Discrete-Time Case. Athena Scientific (1996)"},{"key":"7_CR3","unstructured":"Bohacek, S., Hespanha, J., Lee, J., Obraczka, K.: Modeling Data Communication Networks Using Hybrid Systems. IEEE\/ACM Trans. on Networking (2006)"},{"key":"7_CR4","series-title":"An Advance Course","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0791-7","volume-title":"Probability Theory","author":"V.S. Borkar","year":"1995","unstructured":"Borkar, V.S.: Probability Theory. An Advance Course. Springer, Heidelberg (1995)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bujorianu, M.L.: Extended Stochastic Hybrid Systems and their Reachability Problem. In: [1], pp. 234\u2013249 (2004)","DOI":"10.1007\/978-3-540-24743-2_16"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-31954-2_13","volume-title":"Hybrid Systems: Computation and Control","author":"M.L. Bujorianu","year":"2005","unstructured":"Bujorianu, M.L., Lygeros, J., Bujorianu, M.C.: Bisimulation for General Stochastic Hybrid Systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 198\u2013214. Springer, Heidelberg (2005)"},{"key":"7_CR7","first-page":"201","volume":"24","author":"M.L. Bujorianu","year":"2004","unstructured":"Bujorianu, M.L.: Capacities and Markov Processes. Lib. Math.\u00a024, 201\u2013210 (2004)","journal-title":"Lib. Math."},{"key":"7_CR8","volume-title":"Proceedings of IFAC 2005","author":"M.L. Bujorianu","year":"2005","unstructured":"Bujorianu, M.L., Bujorianu, M.C.: Distributed Stochastic Hybrid Systems. In: Kucera, A. (ed.) Proceedings of IFAC 2005. Elsevier Press, Amsterdam (2005)"},{"key":"7_CR9","unstructured":"Bujorianu, M.L., Bujorianu, M.C., Blom, H.A.P.: Towards Model Checking Stochastic Hybrid Systems by Approximate Abstractions (Submitted)"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"131","DOI":"10.5802\/aif.53","volume":"5","author":"G. Choquet","year":"1953","unstructured":"Choquet, G.: Theory of Capacities. Annales de l\u2019Institut Fourier, Grenoble\u00a05, 131\u2013291 (1953)","journal-title":"Annales de l\u2019Institut Fourier, Grenoble"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"313","DOI":"10.5802\/aif.479","volume":"23","author":"K.L. Chung","year":"1973","unstructured":"Chung, K.L.: Probabilistic Approach in Potential Theory to the Equilibrium Problem. Annales de L\u2019Institut Fourier,Grenoble\u00a023, 313\u2013322 (1973)","journal-title":"Annales de L\u2019Institut Fourier,Grenoble"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Ciardo, G., Nicol, D., Trivedi, K.S.: Discrete-Event Simulation of Fluid Stochastic Petri Nets. In: Proc. 7th Int. Workshop on Petri Nets and Performance Models, pp. 217\u2013225 (1997)","DOI":"10.1109\/PNPM.1997.595553"},{"key":"7_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-4483-2","volume-title":"Markov Models and Optimization","author":"M.H.A. Davis","year":"1993","unstructured":"Davis, M.H.A.: Markov Models and Optimization. Chapman & Hall, London (1993)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/3-540-45694-5_24","volume-title":"CONCUR 2002 - Concurrency Theory","author":"J. Desharnais","year":"2002","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, Panangaden, P.: Weak Bisimulation is Sound and Complete for PCTL. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 355\u2013370. Springer, Heidelberg (2002)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1214\/aoms\/1177698950","volume":"38","author":"D. Dempster","year":"1967","unstructured":"Dempster, D.: Upper and Lower Probabilities Induced by a Multi-valued Mapping. Ann. Math. Statist.\u00a038, 325\u2013339 (1967)","journal-title":"Ann. Math. Statist."},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0001-6918(88)90045-5","volume":"68","author":"D. Dubois","year":"1988","unstructured":"Dubois, D., Prade, H.: Modelling Uncertainty and Inductive Inference: A Survey of Recent Non-Additive Probability Systems. Acta Psychologica\u00a068, 53\u201378 (1988)","journal-title":"Acta Psychologica"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1023\/A:1021713114477","volume":"12","author":"P.J. Fitzsimmons","year":"1999","unstructured":"Fitzsimmons, P.J.: Markov Processes with Equal Capacities. J. Theor. Prob.\u00a012, 271\u2013292 (1999)","journal-title":"J. Theor. Prob."},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/S0377-2217(97)00028-3","volume":"105","author":"G. Horton","year":"1998","unstructured":"Horton, G., Kulkarni, V., Nicol, D., Trivedi, K.S.: Fluid Stochastic Petri Nets: Theory, Applications, and Solution. Eur. J. Oper. Res.\u00a0105(1), 184\u2013201 (1998)","journal-title":"Eur. J. Oper. Res."},{"key":"7_CR19","volume-title":"Robust Statistics","author":"P.J. Huber","year":"1980","unstructured":"Huber, P.J.: Robust Statistics. Willey, New York (1980)"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0167-6423(99)00019-2","volume":"36","author":"H. Hermanns","year":"2000","unstructured":"Hermanns, H., Katoen, J.-P.: Automated Compositional Markov Chain Generation for a Plain-old Telephone System. Science of Computer Programming\u00a036(1), 97\u2013127 (2000)","journal-title":"Science of Computer Programming"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Hespanha, J.P.: Stochastic Hybrid Systems: Application to Communication Networks. In: [1], pp. 387\u2013401 (2004)","DOI":"10.1007\/978-3-540-24743-2_26"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Kang, W., Kelly, F.P., Lee, N.H., Williams, R.J.: Fluid and Brownian Approximations for an Internet congestion control model. In: Proceedings of the 43rd IEEE Conference on Decision and Control (2004)","DOI":"10.1109\/CDC.2004.1429360"},{"key":"7_CR23","first-page":"670","volume-title":"Mathematics Unlimited - 2001 and Beyond","author":"F.P. Kelly","year":"2001","unstructured":"Kelly, F.P.: Mathematical Modelling of the Internet. In: Engquist, B., Schmid, W. (eds.) Mathematics Unlimited - 2001 and Beyond, pp. 670\u2013685. Springer, Heidelberg (2001)"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","first-page":"24","volume-title":"Application and Theory of Petri Nets 1993","author":"V. Kulkarni","year":"1993","unstructured":"Kulkarni, V., Trivedi, K.S.: FSPNs: Fluid Stochastic Petri Nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 24\u201331. Springer, Heidelberg (1993)"},{"key":"7_CR25","volume-title":"Formal Methods in System Design","author":"Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, Norman, G., Parker, D., Sproston, J.: Performance Analysis of Probabilistic Timed Automata using Digital Clocks. In: Formal Methods in System Design. Springer, Heidelberg (to appear, 2006)"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Segal, R., Sproston, J.: Automatic Verification of Real Time Systems with Discrete Probability Distribution. Theoretical Computer Science\u00a0282, 101\u2013150 (2002)","journal-title":"Theoretical Computer Science"},{"key":"7_CR27","unstructured":"NWO Project Description AiSHA: Abstraction in Stochastic and Hybrid process Algebra, www.onderzoekinformatie.nl\/en\/oi\/nod\/onderzoek\/OND1303139"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Pola, G., Bujorianu, M.L., Lygeros, J., Di Benedetto, M.D.: Stochastic Hybrid Models: An Overview with applications to Air Traffic Management. In: Proccedings Analysis and Design of Hybrid Systems IFAC ADHS 2003, pp. 45\u201350 (2003)","DOI":"10.1016\/S1474-6670(17)36405-4"},{"key":"7_CR29","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton Univ. Press, Princeton (1976)"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"571","DOI":"10.2307\/1911053","volume":"57","author":"D. Schmeidler","year":"1989","unstructured":"Schmeidler, D.: Subjective Probability and Expected Utility Without Additivity. Econometrica\u00a057, 571\u2013587 (1989)","journal-title":"Econometrica"},{"key":"7_CR31","volume-title":"Statistical Methods for Non-Precise Data","author":"R. Viertl","year":"1996","unstructured":"Viertl, R.: Statistical Methods for Non-Precise Data. CRC Press, Boca Raton (1996)"},{"key":"7_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-3472-7","volume-title":"Statistical Reasoning with Imprecise Probabilities","author":"P. Walley","year":"1991","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman & Hall, Boca Raton (1991)"},{"key":"7_CR33","unstructured":"Wolter, K.: Second Order Fluid Stochastic Petri Nets: an Extension of GSPNs for Approximate and Continuous Modeling. In: World Congress on System Simulation, pp. 328\u2013332 (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Stochastic Models for Performance Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11777830_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T14:14:53Z","timestamp":1627481693000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11777830_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540353621","9783540353652"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/11777830_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}