{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:20:57Z","timestamp":1759033257548,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_4","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"46-61","source":"Crossref","is-referenced-by-count":10,"title":["Feedback Control for Statistical Model Checking of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"K.","family":"Kalajdzic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Jegourel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Lukina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Bartocci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. A.","family":"Smolka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Grosu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"4_CR1","unstructured":"Code repository. https:\/\/ti.tuwien.ac.at\/tacas2015\/"},{"key":"4_CR2","series-title":"Advances in Parallel Computing","volume-title":"Parallel Computing: From Multicores and GPU\u2019s to Petascale","year":"2010","unstructured":"Barbara, M., Fr\u00e9d\u00e9ric, D., Gerhard, R., Alain, L., Frans, J., Thierry, P. (eds.): Parallel Computing: From Multicores and GPU\u2019s to Petascale. Advances in Parallel Computing, vol. 19. IOS Press, Amsterdam (2010). Proceedings of the Conference ParCo 2009, 1\u20134, September 2009, Lyon, France"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-35632-2_18","volume-title":"Runtime Verification","author":"E Bartocci","year":"2013","unstructured":"Bartocci, E., Grosu, R., Karmarkar, A., Smolka, S.A., Stoller, S.D., Zadok, E., Seyster, J.: Adaptive runtime verification. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 168\u2013182. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-35632-2_18"},{"key":"4_CR4","volume-title":"Cyber-physical Systems, Driving Force for Innovation in Mobility, Health, Energy and Production","author":"M Broy","year":"2012","unstructured":"Broy, M., Geisberger, E.: Cyber-physical Systems, Driving Force for Innovation in Mobility, Health, Energy and Production. The National Academy Of Science and Engineering, Acatech (2012)"},{"key":"4_CR5","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-24372-1_1","volume-title":"Automated Technology for Verification and Analysis","author":"EM Clarke","year":"2011","unstructured":"Clarke, E.M., Zuliani, P.: Statistical model checking for cyber-physical systems. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol. 6996, pp. 1\u201312. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-24372-1_1"},{"key":"4_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3437-9","volume-title":"Sequential Monte Carlo Methods in Practice","author":"A Doucet","year":"2001","unstructured":"Doucet, A., de Freitas, N., Gordon, N.: Sequential Monte Carlo Methods in Practice. Springer, New York (2001)"},{"issue":"1","key":"4_CR8","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s00446-003-0102-z","volume":"17","author":"M Duflot","year":"2004","unstructured":"Duflot, M., Fribourg, L., Picaronny, C.: Randomized dining philosophers without fairness assumption. Distrib. Comput. 17(1), 65\u201376 (2004)","journal-title":"Distrib. Comput."},{"issue":"4","key":"4_CR9","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1287\/opre.47.4.585","volume":"47","author":"P Glasserman","year":"1999","unstructured":"Glasserman, P., Heidelberger, P., Shahabuddin, P., Zajic, T.: Multilevel Splitting for Estimating Rare Event Probabilities. Oper. Res. 47(4), 585\u2013600 (1999)","journal-title":"Oper. Res."},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-31980-1_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Grosu","year":"2005","unstructured":"Grosu, R., Smolka, S.A.: Monte Carlo model checking. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 271\u2013286. Springer, Heidelberg (2005). doi: 10.1007\/978-3-540-31980-1_18"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-31424-7_26","volume-title":"Computer Aided Verification","author":"C Jegourel","year":"2012","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Cross-entropy optimisation of importance sampling parameters for statistical model checking. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 327\u2013342. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-31424-7_26"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/978-3-642-39799-8_38","volume-title":"Computer Aided Verification","author":"C Jegourel","year":"2013","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Importance splitting for statistical model checking rare properties. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 576\u2013591. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-39799-8_38"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-662-45231-8_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"C Jegourel","year":"2014","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: An effective heuristic for adaptive importance splitting in statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 143\u2013159. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-45231-8_11"},{"key":"4_CR14","unstructured":"Kahn, H., Harris, T.E.: Estimation of particle transmission by random sampling. In: Applied Mathematics, vol. 5 of series 12. National Bureau of Standards (1951)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-40787-1_9","volume-title":"Runtime Verification","author":"K Kalajdzic","year":"2013","unstructured":"Kalajdzic, K., Bartocci, E., Smolka, S.A., Stoller, S.D., Grosu, R.: Runtime verification with particle filtering. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 149\u2013166. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40787-1_9"},{"key":"4_CR16","unstructured":"Kanungo, T.: UMDHMM tool. http:\/\/www.kanungo.com\/software\/software.html"},{"issue":"2","key":"4_CR17","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1109\/5.18626","volume":"77","author":"L Rabiner","year":"1989","unstructured":"Rabiner, L.: A tutorial on hidden Markov models, selected applications in speech recognition. Proc. IEEE 77(2), 257\u2013286 (1989)","journal-title":"Proc. IEEE"},{"issue":"2","key":"4_CR18","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1162\/089976699300016674","volume":"11","author":"S Roweis","year":"1999","unstructured":"Roweis, S., Ghahramani, Z.: A unifying review of linear gaussian models. Neural Comput. 11(2), 305\u2013345 (1999)","journal-title":"Neural Comput."},{"key":"4_CR19","volume-title":"A Modern Approach","author":"S Russell","year":"2010","unstructured":"Russell, S., Norvig, P., Intelligence, A.: A Modern Approach, 3rd edn. Prentice-Hall, Upper Saddle River (2010)","edition":"3"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-29860-8_15","volume-title":"Runtime Verification","author":"SD Stoller","year":"2012","unstructured":"Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A., Zadok, E.: Runtime verification with state estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 193\u2013207. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29860-8_15"},{"issue":"2","key":"4_CR21","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/MRA.2004.1310942","volume":"11","author":"V Verma","year":"2004","unstructured":"Verma, V., Gordon, G., Simmons, R., Thrun, S.: Real-time fault diagnosis [robot fault diagnosis]. IEEE Robot. Autom. Mag. 11(2), 56\u201366 (2004)","journal-title":"IEEE Robot. Autom. Mag."},{"issue":"3","key":"4_CR22","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/s10009-005-0187-8","volume":"8","author":"H Younes","year":"2006","unstructured":"Younes, H., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking. STTT 8(3), 216\u2013228 (2006)","journal-title":"STTT"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Zuliani, P., Baier, C., Clarke, E.: Rare-event verification for stochastic hybrid systems. In: Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2012, pp. 217\u2013226. ACM (2012)","DOI":"10.1145\/2185632.2185665"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:21:58Z","timestamp":1498335718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}