{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:05:40Z","timestamp":1761487540757},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331704"},{"type":"electronic","value":"9783540331711"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11730637_25","type":"book-chapter","created":{"date-parts":[[2006,2,24]],"date-time":"2006-02-24T06:57:14Z","timestamp":1140764234000},"page":"318-332","source":"Crossref","is-referenced-by-count":21,"title":["Approximate Abstraction of Stochastic Hybrid Automata"],"prefix":"10.1007","author":[{"given":"A. Agung","family":"Julius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Pola, G., Bujorianu, M., Lygeros, J., Benedetto, M.D.: Stochastic hybrid models: an overview. In: Proc. IFAC Conf. Analysis and Design of Hybrid Systems, St. Malo, IFAC (2003)","DOI":"10.1016\/S1474-6670(17)36405-4"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Hespanha, J.P.: Stochastic hybrid systems: applications to communication networks. In: [21], pp. 387\u2013401","DOI":"10.1007\/978-3-540-24743-2_26"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Hu, J., Wu, W.C., Sastry, S.: Modeling subtilin production in bacillus subtilis using stochastic hybrid systems. In: [21], pp. 417\u2013431","DOI":"10.1007\/978-3-540-24743-2_28"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Glover, W., Lygeros, J.: A stochastic hybrid model for air traffic control simulation. In: [21], pp. 372\u2013386","DOI":"10.1007\/978-3-540-24743-2_25"},{"key":"25_CR5","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":"25_CR6","volume-title":"Stochastic differential equations: an introduction with applications","author":"B. Oksendal","year":"2000","unstructured":"Oksendal, B.: Stochastic differential equations: an introduction with applications. Springer, Berlin (2000)"},{"issue":"6","key":"25_CR7","doi-asserted-by":"publisher","first-page":"1952","DOI":"10.1137\/S0363012996299302","volume":"35","author":"M.K. Ghosh","year":"1997","unstructured":"Ghosh, M.K., Arapostathis, A., Marcus, S.: Ergodic control of switching diffusions. SIAM Journal on Control and Optimization\u00a035(6), 1952\u20131988 (1997)","journal-title":"SIAM Journal on Control and Optimization"},{"key":"25_CR8","doi-asserted-by":"publisher","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 and Hall, London (1993)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Bujorianu, M.L., Lygeros, J., Bujorianu, M.C.: Bisimulation for general stochastic hybrid systems. In: [22], pp. 198\u2013214","DOI":"10.1007\/978-3-540-31954-2_13"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Strubbe, S., van der Schaft, A.J.: Bisimulation for communicating piecewise deterministic Markov processes. 623\u2013639","DOI":"10.1007\/978-3-540-31954-2_40"},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-45499-3_23","volume-title":"Algebraic Methodology and Software Technology","author":"M. Ying","year":"2000","unstructured":"Ying, M., Wirsing, M.: Approximate bisimilarity. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 309\u2013322. Springer, Heidelberg (2000)"},{"key":"25_CR12","unstructured":"Girard, A., Pappas, G.J.: Approximate bisimulation for constrained linear systems. to appear in the Proceedings of the IEEE Conf. Decision and Control (2005)"},{"issue":"3","key":"25_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","volume":"318","author":"J. Desharnais","year":"2004","unstructured":"Desharnais, J., Gupta, V., Jagadeesan, R., Panangaden, P.: Metrics for labelled Markov processes. Theoretical Computer Science\u00a0318(3), 323\u2013354 (2004)","journal-title":"Theoretical Computer Science"},{"key":"25_CR14","first-page":"336","volume-title":"Proc. of CONCUR","author":"F. van Breugel","year":"2001","unstructured":"van Breugel, F., Worrell, J.: An algorithm for quantitative verification of probabilistic transition systems. In: Proc. of CONCUR, Aalborg, pp. 336\u2013350. Springer, Heidelberg (2001)"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Julius, A.A., Girard, A., Pappas, G.J.: Approximate bisimulation for a class of stochastic hybrid systems. submitted to the American Control Conference 2006 (2005)","DOI":"10.1109\/ACC.2006.1657467"},{"key":"25_CR16","volume-title":"Proc. 43rd IEEE Conference on Decision and Control","author":"S. Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.J.: Stochastic safety verification using barrier certificates. In: Proc. 43rd IEEE Conference on Decision and Control, Bahamas, IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"25_CR17","volume-title":"Positive polynomials in control","author":"S. Prajna","year":"2005","unstructured":"Prajna, S., Papachristodoulou, A., Seiler, P., Parillo, P.A.: SOSTOOLS and its control application. In: Positive polynomials in control, Springer, Heidelberg (2005)"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Neogi, N.A.: Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis. 463 \u2013 476","DOI":"10.1007\/978-3-540-24743-2_31"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Hespanha, J.P.: Polynomial stochastic hybrid systems. 322\u2013338","DOI":"10.1007\/978-3-540-31954-2_21"},{"key":"25_CR20","unstructured":"L\u00f6fberg, J.: http:\/\/control.ee.ethz.ch\/~joloef\/yalmip.php"},{"key":"25_CR21","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":"25_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"2005","unstructured":"Morari, M., Thiele, L. (eds.): HSCC 2005. LNCS, vol.\u00a03414. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11730637_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T02:24:25Z","timestamp":1555467865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11730637_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331704","9783540331711"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11730637_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}