{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:20:13Z","timestamp":1742966413891,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319222639"},{"type":"electronic","value":"9783319222646"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22264-6_20","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T10:33:29Z","timestamp":1440153209000},"page":"312-328","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems"],"prefix":"10.1007","author":[{"given":"Pontus","family":"Bostr\u00f6m","sequence":"first","affiliation":[]},{"given":"Mikko","family":"Heikkil\u00e4","sequence":"additional","affiliation":[]},{"given":"Mikko","family":"Huova","sequence":"additional","affiliation":[]},{"given":"Marina","family":"Wald\u00e9n","sequence":"additional","affiliation":[]},{"given":"Matti","family":"Linjama","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-40903-8_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"T Amnell","year":"2004","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: a tool for schedulability analysis and code generation of real-time systems. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol. 2791, pp. 60\u201372. Springer, Heidelberg (2004)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-319-10702-8_3","volume-title":"Formal Methods for Industrial Critical Systems","author":"P Bostr\u00f6m","year":"2014","unstructured":"Bostr\u00f6m, P., Alexeev, P., Heikkil\u00e4, M., Huova, M., Wald\u00e9n, M., Linjama, M.: Analysis of real-time properties of a digital hydraulic power management system. In: Lang, F., Flammini, F. (eds.) FMICS 2014. LNCS, vol. 8718, pp. 33\u201347. Springer, Heidelberg (2014)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Bostr\u00f6m, P., Heikkil\u00e4, M., Huova, M., Wald\u00e9n, M., Linjama, M.: Bayesian statistical analysis for performance evaluation in real-time control systems. Technical Report, 1136, TUCS (2015)","DOI":"10.1007\/978-3-319-22264-6_20"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-24310-3_7","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A David","year":"2011","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., van Vliet, J., Wang, Z.: Statistical model checking for networks of priced timed automata. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 80\u201396. Springer, Heidelberg (2011)"},{"issue":"3","key":"20_CR5","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MCS.2003.1200240","volume":"23","author":"A Cervin","year":"2003","unstructured":"Cervin, A., Henriksson, D., Lincoln, B., Eker, J., \u00c5rz\u00e9n, K.E.: How does control timing affect performance? - analysis and simulation of timing using Jitterbug and truetime. IEEE Control Syst. Mag. 23(3), 16\u201330 (2003)","journal-title":"IEEE Control Syst. Mag."},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-38088-4_24","volume-title":"NASA Formal Methods","author":"A David","year":"2013","unstructured":"David, A., Du, D., Guldstrand Larsen, K., Legay, A., Miku\u010dionis, M.: Optimizing control strategy using statistical model checking. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 352\u2013367. Springer, Heidelberg (2013)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-22110-1_27","volume-title":"Computer Aided Verification","author":"A David","year":"2011","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Wang, Z.: Time for statistical model checking of real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 349\u2013355. Springer, Heidelberg (2011)"},{"key":"20_CR8","volume-title":"Bayesian Data Analysis","author":"A Gelman","year":"2004","unstructured":"Gelman, A., Carlin, J.B., Stern, H.S., Rubin, D.B.: Bayesian Data Analysis, 2nd edn. Chapman & Hall\/CRC, New York (2004)","edition":"2"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T H\u00e9rault","year":"2004","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 73\u201384. Springer, Heidelberg (2004)"},{"key":"20_CR10","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A.: Statistical model checking for complex stochastic models in systems biology. Technical Report, CMU-CS-09-110, School of Computer Science, Carnegie Mellon University (2009)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"SK Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"issue":"1","key":"20_CR12","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1080\/14399776.2014.893710","volume":"15","author":"M Karvonen","year":"2014","unstructured":"Karvonen, M., Heikkil\u00e4, M., Huova, M., Linjama, M.: Analysis by simulation of different control algorithms of a digital hydraulic two-actuator system. Int. J. Fluid Power 15(1), 33\u201344 (2014). Mar","journal-title":"Int. J. Fluid Power"},{"issue":"430","key":"20_CR13","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1080\/01621459.1995.10476572","volume":"90","author":"RE Kass","year":"1995","unstructured":"Kass, R.E., Raftery, A.E.: Bayes factors. J. Am. Stat. Assoc. 90(430), 773\u2013795 (1995)","journal-title":"J. Am. Stat. Assoc."},{"key":"20_CR14","unstructured":"Lincoln, B., Cervin, A.: Jitterbug: a tool for analysis of real-time control performance. In: 41st IEEE Conference on Decision and Control, IEEE (2002)"},{"key":"20_CR15","unstructured":"Linjama, M., Huhtala, K.: Digital pump-motor with independent outlets. In: The 11th Scandinavian International Conference on Fluid Power, SICFP 2009, Link\u00f6ping, Sweden (2009)"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"HLS Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with focus on time-bounded properties. Inf. Comput. 204, 1368\u20131409 (2006)","journal-title":"Inf. Comput."},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/s10703-013-0195-3","volume":"43","author":"P Zuliani","year":"2013","unstructured":"Zuliani, P., Platzer, A., Clarke, E.M.: Bayesian statistical model checking with application to stateflow\/simulink verification. Formal Methods Syst. Des. 43, 338\u2013367 (2013)","journal-title":"Formal Methods Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22264-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T06:17:24Z","timestamp":1676960244000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22264-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319222639","9783319222646"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22264-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}