{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T18:46:57Z","timestamp":1776278817626,"version":"3.50.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319222639","type":"print"},{"value":"9783319222646","type":"electronic"}],"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_3","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T10:33:29Z","timestamp":1440153209000},"page":"38-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living"],"prefix":"10.1007","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[]},{"given":"Christopher","family":"Nugent","sequence":"additional","affiliation":[]},{"given":"Fulvio","family":"Patara","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/978-3-319-10696-0_3","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2014","unstructured":"Amparore, E.G., Buchholz, P., Donatelli, S.: A structured solution approach for markov regenerative processes. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 9\u201324. Springer, Heidelberg (2014)"},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1109\/TKDE.2013.127","volume":"26","author":"U Avci","year":"2014","unstructured":"Avci, U., Passerini, A.: Improving activity recognition by segmental pattern mining. IEEE Trans. Knowl. Data Eng. 26(4), 889\u2013902 (2014)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-319-10512-3_3","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"E Bartocci","year":"2014","unstructured":"Bartocci, E., Bortolussi, L., Sanguinetti, G.: Data-driven statistical learning of temporal logic properties. In: Legay, A., Bozga, M. (eds.) FORMATS 2014. LNCS, vol. 8711, pp. 23\u201337. Springer, Heidelberg (2014)"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. Soft. Eng. 17(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bobbio, A., Telek, M.: Markov regenerative SPN with non-overlapping activity cycles. In: International Computer Performance and Dependability Symposium, pp. 124\u2013133 (1995)","DOI":"10.1109\/IPDS.1995.395811"},{"issue":"2\u20133","key":"3_CR6","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1081\/STM-200056210","volume":"21","author":"A Bobbio","year":"2005","unstructured":"Bobbio, A., Horv\u00e1th, A., Telek, M.: Matching three moments with minimal acyclic phase type distributions. Stoch. Models 21(2\u20133), 303\u2013326 (2005)","journal-title":"Stoch. Models"},{"issue":"5","key":"3_CR7","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10009-010-0156-8","volume":"12","author":"G Bucci","year":"2010","unstructured":"Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. Int. J. Softw. Tools Technol. Transfer 12(5), 391\u2013403 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"3_CR8","unstructured":"Buchholz, R., Krull, C., Strigl, T., Horton, G.: Using hidden non-markovian models to reconstruct system behavior in partially-observable systems. In: International ICST Conference on Simulation Tools and Techniques, p. 86 (2010)"},{"issue":"1\u20133","key":"3_CR9","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H Choi","year":"1994","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perf. Eval. 20(1\u20133), 337\u2013357 (1994)","journal-title":"Perf. Eval."},{"issue":"7","key":"3_CR10","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/32.297939","volume":"20","author":"G Ciardo","year":"1994","unstructured":"Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic Petri net. IEEE Trans. Softw. Eng. 20(7), 506\u2013515 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.pmcj.2009.04.001","volume":"5","author":"DJ Cook","year":"2009","unstructured":"Cook, D.J., Augusto, J.C., Jakkula, V.R.: Ambient intelligence: technologies, applications, and opportunities. Pervasive Mob. Comput. 5(4), 277\u2013298 (2009)","journal-title":"Pervasive Mob. Comput."},{"issue":"7\u20138","key":"3_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.peva.2011.11.002","volume":"69","author":"A Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval. 69(7\u20138), 315\u2013335 (2012)","journal-title":"Perform. Eval."},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-46029-2_5","volume-title":"Computer Performance Evaluation","author":"A Horv\u00e1th","year":"2002","unstructured":"Horv\u00e1th, A., Telek, M.: PhFit: a general phase-type fitting tool. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 82\u201391. Springer, Heidelberg (2002)"},{"issue":"1 Part 1","key":"3_CR14","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1093\/geront\/10.1_Part_1.20","volume":"10","author":"S Katz","year":"1970","unstructured":"Katz, S., Downs, T.D., Cash, H.R., Grotz, R.C.: Progress in development of the index of ADL. The Gerontologist 10(1 Part 1), 20\u201330 (1970)","journal-title":"The Gerontologist"},{"key":"3_CR15","series-title":"Communications in Computer and Information Science","first-page":"425","volume-title":"Biomedical Engineering Systems and Technologies","author":"RS Mans","year":"2009","unstructured":"Mans, R.S., Schonenberg, M.H., Song, M., van der Aalst, W.M.P., Bakker, P.J.M.: Application of process mining in healthcare - a case study in a dutch hospital. In: Fred, A., Filipe, J., Gamboa, H. (eds.) BIOSTEC 2011. CCIS, vol. 273, pp. 425\u2013438. Springer, Heidelberg (2009)"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1109\/ICASSP.1993.319304","volume":"2","author":"CD Mitchell","year":"1993","unstructured":"Mitchell, C.D., Jamieson, L.H.: Modeling duration in a hidden Markov model with the exponential family. IEEE Int. Conf. Acoust. Speech Signal Process. 2, 331\u2013334 (1993)","journal-title":"IEEE Int. Conf. Acoust. Speech Signal Process."},{"key":"3_CR17","volume-title":"Matrix Geometric Solutions in Stochastic Models","author":"MF Neuts","year":"1981","unstructured":"Neuts, M.F.: Matrix Geometric Solutions in Stochastic Models. Johns Hopkins University Press, London (1981)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-39653-6_6","volume-title":"UbiComp 2003: Ubiquitous Computing","author":"DJ Patterson","year":"2003","unstructured":"Patterson, D.J., Liao, L., Fox, D., Kautz, H.: Inferring high-level behavior from low-level sensors. In: Dey, A.K., Schmidt, A., McCarthy, J.F. (eds.) UbiComp 2003. LNCS, vol. 2864, pp. 73\u201389. Springer, Heidelberg (2003)"},{"issue":"5","key":"3_CR19","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1109\/TSMCA.2009.2025137","volume":"39","author":"P Rashidi","year":"2009","unstructured":"Rashidi, P., Cook, D.J.: Keeping the resident in the loop: adapting the smart home to the user. IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum. 39(5), 949\u2013959 (2009)","journal-title":"IEEE Trans. Syst. Man Cybern. Part A: Syst. Hum."},{"issue":"4","key":"3_CR20","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1109\/TKDE.2010.148","volume":"23","author":"P Rashidi","year":"2011","unstructured":"Rashidi, P., Cook, D.J., Holder, L.B., Schmitter-Edgecombe, M.: Discovering activities to recognize and track in a smart environment. IEEE Trans. Knowl. Data Eng. 23(4), 527\u2013539 (2011)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-40725-3_13","volume-title":"Computer Performance Engineering","author":"P Reinecke","year":"2013","unstructured":"Reinecke, P., Krau\u00df, T., Wolter, K.: Phase-type fitting using hyperstar. In: Balsamo, M.S., Knottenbelt, W.J., Marin, A. (eds.) EPEW 2013. LNCS, vol. 8168, pp. 164\u2013175. Springer, Heidelberg (2013)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-45005-1_27","volume-title":"Service-Oriented Computing","author":"A Rogge-Solti","year":"2013","unstructured":"Rogge-Solti, A., Weske, M.: Prediction of remaining service execution time using stochastic petri nets with arbitrary firing delays. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 389\u2013403. Springer, Heidelberg (2013)"},{"key":"3_CR23","volume-title":"Probability and Statistics with Reliability, Queuing, and Computer Science Applications","author":"KS Trivedi","year":"2001","unstructured":"Trivedi, K.S.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. John Wiley and Sons, New York (2001)"},{"key":"3_CR24","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-28108-2_19","volume-title":"Business Process Management Workshops","author":"W van der Aalst","year":"2012","unstructured":"van der Aalst, W., et al.: Process mining manifesto. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part I. LNBIP, vol. 99, pp. 169\u2013194. Springer, Heidelberg (2012)"},{"issue":"5","key":"3_CR25","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1016\/j.is.2006.05.003","volume":"32","author":"WMP van der Aalst","year":"2007","unstructured":"van der Aalst, W.M.P., Reijers, H.A., Weijters, A.J.M.M., van Dongen, B.F., Alves De Medeiros, A.K., Song, M., Verbeek, H.M.W.: Business process mining: an industrial application. Inf. Syst. 32(5), 713\u2013732 (2007)","journal-title":"Inf. Syst."},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"BF van Dongen","year":"2005","unstructured":"van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W.E., Weijters, A.J.M.M.T., van der Aalst, W.M.P.: The ProM framework: a new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444\u2013454. Springer, Heidelberg (2005)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"van Kasteren, T., Noulas, A., Englebienne, G., Kr\u00f6se, B.: Accurate activity recognition in a home setting. In: Proceedings of the International Conference on Ubiquitous Computing, UbiComp 2008, pp. 1\u20139. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1409635.1409637"},{"issue":"5","key":"3_CR28","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/TSE.2009.36","volume":"35","author":"E Vicario","year":"2009","unstructured":"Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. Softw. Eng. 35(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"3_CR29","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1287\/opre.30.1.125","volume":"30","author":"W Whitt","year":"1982","unstructured":"Whitt, W.: Approximating a point process by a renewal process, I: two basic methods. Oper. Res. 30(1), 125\u2013147 (1982)","journal-title":"Oper. Res."},{"issue":"1","key":"3_CR30","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.pmcj.2011.01.004","volume":"8","author":"J Ye","year":"2012","unstructured":"Ye, J., Dobson, S., McKeever, S.: Situation identification techniques in pervasive computing: a review. Pervasive Mob. Comput. 8(1), 36\u201366 (2012)","journal-title":"Pervasive Mob. Comput."},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Zimmermann, A.: Dependability evaluation of complex systems with TimeNET. In: Proceedings of the International Workshop on Dynamic Aspects in Dependability Models for Fault-Tolerant Systems, pp. 33\u201334 (2010)","DOI":"10.1145\/1772630.1772639"}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:26:41Z","timestamp":1748575601000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22264-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319222639","9783319222646"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22264-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}