{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:57:02Z","timestamp":1725803822870},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319106953"},{"type":"electronic","value":"9783319106960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10696-0_5","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T14:33:45Z","timestamp":1409150025000},"page":"41-56","source":"Crossref","is-referenced-by-count":5,"title":["A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Sanguinetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Andersson, H., Britton, T.: Stochastic Epidemic Models and Their Statistical Analysis. Springer (2000)","DOI":"10.1007\/978-1-4612-1158-7"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: On the robustness of temporal properties for stochastic models. In: Proc. of HSB. EPTCS, vol.\u00a0125, pp. 3\u201319 (2013)","DOI":"10.4204\/EPTCS.125.1"},{"issue":"1-2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.ymssp.2012.05.010","volume":"34","author":"W. Becker","year":"2013","unstructured":"Becker, W., Worden, K., Rowson, J.: Bayesian sensitivity analysis of bifurcating nonlinear models. Mechanical Systems and Signal Processing\u00a034(1-2), 57\u201375 (2013)","journal-title":"Mechanical Systems and Signal Processing"},{"issue":"11","key":"5_CR4","doi-asserted-by":"publisher","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","author":"C. Belta","year":"2006","unstructured":"Belta, C., Habets, L.C.: Controlling a class of nonlinear systems on rectangles. IEEE Trans. on Automatic Control\u00a051(11), 1749\u20131759 (2006)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-540-24743-2_10","volume-title":"Hybrid Systems: Computation and Control","author":"A. Bhatia","year":"2004","unstructured":"Bhatia, A., Frazzoli, E.: Incremental search methods for reachability analysis of continuous and hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 142\u2013156. Springer, Heidelberg (2004)"},{"key":"5_CR6","unstructured":"Bishop, C.M.: Pattern recognition and machine learning. Springer, NY (2009)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective systems behaviour: a tutorial. Performance Evaluation (2013)","DOI":"10.1016\/j.peva.2013.01.001"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-642-40196-1_7","volume-title":"Quantitative Evaluation of Systems","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Sanguinetti, G.: Learning and designing stochastic processes from logical constraints. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol.\u00a08054, pp. 89\u2013105. Springer, Heidelberg (2013)"},{"key":"5_CR9","unstructured":"Bortolussi, L., Sanguinetti, G.: Smoothed model checking for uncertain Continuous Time Markov Chains. arXiv preprint arXiv:1402.1450 (2014)"},{"key":"5_CR10","unstructured":"Bujorianu, L.M.: A statistical inference method for the stochastic reachability analysis. In: Proceedings of IEEE CDC 2005 (2005)"},{"key":"5_CR11","volume-title":"Numerical analysis","author":"R.L. Burden","year":"2011","unstructured":"Burden, R.L., Faires, J.D.: Numerical analysis. Brooks\/Cole, Cengage Learning, Boston (2011)"},{"key":"5_CR12","unstructured":"Chutinan, A., Krogh, B.H.: Computing polyhedral approximations to flow pipes for dynamic systems. In: Proc. of IEEE CDC, vol.\u00a02 (1998)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Dang, T., Dreossi, T.: Falsifying oscillation properties of parametric biological models. In: Proc. of HSB. EPTCS, vol.\u00a0125 (2013)","DOI":"10.4204\/EPTCS.125.4"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-25318-8_6","volume-title":"Programming Languages and Systems","author":"T. Dang","year":"2011","unstructured":"Dang, T., Gawlitza, T.M.: Template-based unbounded time verification of affine hybrid automata. In: Yang, H. (ed.) APLAS 2011. LNCS, vol.\u00a07078, pp. 34\u201349. Springer, Heidelberg (2011)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Dang, T., Le Guernic, C., Maler, O.: Computing reachable states for nonlinear biological models. Theor. Comput. Sci.\u00a0412(21) (2011)","DOI":"10.1016\/j.tcs.2011.01.014"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Dang, T., Nahhal, T.: Coverage-guided test generation for continuous and hybrid systems. Formal Methods in System Design 34(2) (2009)","DOI":"10.1007\/s10703-009-0066-0"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"De Schutter, B., Heemels, W.P., Lunze, J., Prieur, C.: Survey of modeling, analysis, and control of hybrid systems. In: Handbook of Hybrid Systems Control\u2013Theory, Tools, Applications, pp. 31\u201355 (2009)","DOI":"10.1017\/CBO9780511807930.003"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-540-71493-4_16","volume-title":"Hybrid Systems: Computation and Control","author":"A. Donz\u00e9","year":"2007","unstructured":"Donz\u00e9, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.\u00a04416, pp. 174\u2013189. Springer, Heidelberg (2007)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M.: Verification of annotated models from executions. In: Proc. of ACM EMSOFT 2013 (2013)","DOI":"10.1109\/EMSOFT.2013.6658604"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G. Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: Scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 379\u2013395. Springer, Heidelberg (2011)"},{"key":"5_CR21","unstructured":"Gardiner, C.W.: Stochastic methods. Springer (2009)"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/11730637_21","volume-title":"Hybrid Systems: Computation and Control","author":"A. Girard","year":"2006","unstructured":"Girard, A., Le Guernic, C., Maler, O.: Efficient computation of reachable sets of linear time-invariant systems with inputs. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 257\u2013271. Springer, Heidelberg (2006)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/11730637_22","volume-title":"Hybrid Systems: Computation and Control","author":"A. Girard","year":"2006","unstructured":"Girard, A., Pappas, G.J.: Verification using simulation. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.\u00a03927, pp. 272\u2013286. Springer, Heidelberg (2006)"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Kurzhanski, A.B., Varaiya, P.: On ellipsoidal techniques for reachability analysis. Optimization Methods and Software\u00a017(2) (2002)","DOI":"10.1080\/1055678021000012435"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Lawrence, N.D., Sanguinetti, G., Rattray, M.: Modelling transcriptional regulation using gaussian processes. In: NIPS, pp. 785\u2013792. MIT Press (2006)","DOI":"10.7551\/mitpress\/7503.003.0103"},{"key":"5_CR26","unstructured":"Maler, O.: Computing reachable sets: an introduction. Technical report (2008), http:\/\/www-verimag.imag.fr\/maler\/Papers\/reach-intro.pdf"},{"issue":"3","key":"5_CR27","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1111\/j.1467-9868.2004.05304.x","volume":"66","author":"J.E. Oakley","year":"2004","unstructured":"Oakley, J.E., O\u2019Hagan, A.: Probabilistic sensitivity analysis of complex models: a bayesian approach. J. of the Royal Statistical Society B\u00a066(3), 751\u2013769 (2004)","journal-title":"J. of the Royal Statistical Society B"},{"key":"5_CR28","volume-title":"Gaussian processes for machine learning","author":"C.E. Rasmussen","year":"2006","unstructured":"Rasmussen, C.E., Williams, C.K.I.: Gaussian processes for machine learning. MIT Press, Cambridge (2006)"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-33386-6_12","volume-title":"Automated Technology for Verification and Analysis","author":"M.A. Ben Sassi","year":"2012","unstructured":"Ben Sassi, M.A., Testylier, R., Dang, T., Girard, A.: Reachability analysis of polynomial systems using linear programming relaxations. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol.\u00a07561, pp. 137\u2013151. Springer, Heidelberg (2012)"},{"issue":"5","key":"5_CR30","doi-asserted-by":"publisher","first-page":"3250","DOI":"10.1109\/TIT.2011.2182033","volume":"58","author":"N. Srinivas","year":"2012","unstructured":"Srinivas, N., Krause, A., Kakade, S., Seeger, M.: Information-theoretic regret bounds for Gaussian process optimisation in the bandit setting. IEEE Trans. Inf. Th.\u00a058(5), 3250\u20133265 (2012)","journal-title":"IEEE Trans. Inf. Th."},{"issue":"424","key":"5_CR31","doi-asserted-by":"publisher","first-page":"1392","DOI":"10.1080\/01621459.1993.10476423","volume":"88","author":"B. Tang","year":"1993","unstructured":"Tang, B.: Orthogonal array-based latin hypercubes. Journal of the American Statistical Association\u00a088(424), 1392\u20131397 (1993)","journal-title":"Journal of the American Statistical Association"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10696-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T07:39:30Z","timestamp":1689493170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10696-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319106953","9783319106960"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10696-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}