{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:02:45Z","timestamp":1777946565808,"version":"3.51.4"},"publisher-location":"Singapore","reference-count":48,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819646555","type":"print"},{"value":"9789819646562","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-981-96-4656-2_3","type":"book-chapter","created":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T14:13:11Z","timestamp":1743862391000},"page":"68-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Digital Twin Tutorial: The Incubator Case Study"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2692-9742","authenticated-orcid":false,"given":"Cl\u00e1udio","family":"Gomes","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8467-7567","authenticated-orcid":false,"given":"Morten Haahr","family":"Kristensen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0006-8678-1726","authenticated-orcid":false,"given":"Mikkel Schmidt","family":"Andersen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8973-2640","authenticated-orcid":false,"given":"Prasad","family":"Talasila","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8272-2343","authenticated-orcid":false,"given":"Hao","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Wright","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4589-1500","authenticated-orcid":false,"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,4,5]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"Babu, V.S., Behl, M.: F1tenth.dev \u2013 an open-source ROS based F1\/10 autonomous racing simulator. In: 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), pp. 1614\u20131620 (Aug 2020). https:\/\/doi.org\/10.1109\/CASE48305.2020.9216949","DOI":"10.1109\/CASE48305.2020.9216949"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-75632-5_5","volume-title":"Lectures on Runtime Verification","author":"E Bartocci","year":"2018","unstructured":"Bartocci, E., et al.: Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 135\u2013175. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_5"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Falcone, Y.: Lectures on Runtime Verification: Introductory and Advanced Topics, vol. 10457. Springer (2018)","DOI":"10.1007\/978-3-319-75632-5"},{"key":"3_CR4","doi-asserted-by":"publisher","unstructured":"Basin, D., Klaedtke, F., Zalinescu, E.: The monpoly monitoring tool. In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, pp. 8\u201319 (2017). https:\/\/doi.org\/10.29007\/89hs","DOI":"10.29007\/89hs"},{"key":"3_CR5","doi-asserted-by":"publisher","unstructured":"Bogomolov, S., Gomes, C., Isasa, C., Soudjani, S., Stankaitis, P., Wright, T.: Reachability analysis of FMI models using data-driven dynamic sensitivity. Simulation (2023). https:\/\/doi.org\/10.1177\/00375497241261409","DOI":"10.1177\/00375497241261409"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.cirpj.2023.06.011","volume":"45","author":"T B\u00f6ttjer","year":"2023","unstructured":"B\u00f6ttjer, T., et al.: A review of unit level digital twin applications in the manufacturing industry. CIRP J. Manuf. Sci. Technol. 45, 162\u2013189 (2023). https:\/\/doi.org\/10.1016\/j.cirpj.2023.06.011","journal-title":"CIRP J. Manuf. Sci. Technol."},{"key":"3_CR7","doi-asserted-by":"publisher","unstructured":"Buhagiar, A.J., Christensen, R.F., Larsen, P.G., Freitas, L., Scott, W.E., Gon\u00e7alves Gomes, C.: Understanding pancreas-machine interactions during preservation: a mathematical approach. Transplantation 107, 34\u201335 (2023). https:\/\/doi.org\/10.1097\/01.tp.0000993916.49745.ee","DOI":"10.1097\/01.tp.0000993916.49745.ee"},{"key":"3_CR8","doi-asserted-by":"publisher","unstructured":"Butcher, J.: Numerical Methods for Ordinary Differential Equations. John Wiley & Sons, Ltd, Chichester, UK (Jun 2003). https:\/\/doi.org\/10.1002\/0470868279","DOI":"10.1002\/0470868279"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Cellier, F.E.: Continuous System Modeling. Springer (1991)","DOI":"10.1007\/978-1-4757-3922-0"},{"key":"3_CR10","unstructured":"Cellier, F.E., Kofman, E.: Continuous System Simulation. Springer (2006)"},{"key":"3_CR11","unstructured":"Cengel, Y.A., Boles, M.A., Kano\u011flu, M.: Thermodynamics: An Engineering Approach, vol. 5. McGraw-Hill, New York (2011)"},{"key":"3_CR12","doi-asserted-by":"publisher","unstructured":"Deb, K.: Multi-objective optimisation using evolutionary algorithms: an introduction. In: Multi-Objective Evolutionary Optimisation for Product Design and Manufacturing, pp. 3\u201334. Springer (2011). https:\/\/doi.org\/10.1007\/978-0-85729-652-8_1","DOI":"10.1007\/978-0-85729-652-8_1"},{"key":"3_CR13","unstructured":"Denil, J., Klikovits, S., Mosterman, P.J., Vallecillo, A., Vangheluwe, H.: The experiment model and validity frame in M &S. In: Proceedings of the Symposium on Theory of Modeling & Simulation, pp. 1\u201312. TMS\/DEVS 2017, Society for Computer Simulation International, San Diego, CA, USA (Apr 2017)"},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Ejersbo, H., Lausdahl, K., Frasheri, M., Esterle, L.: Dynamic Runtime Integration of New Models in Digital Twins. In: 2023 IEEE\/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp. 44\u201355. IEEE, Melbourne, Australia (May 2023). https:\/\/doi.org\/10.1109\/SEAMS59076.2023.00016","DOI":"10.1109\/SEAMS59076.2023.00016"},{"key":"3_CR15","doi-asserted-by":"publisher","unstructured":"Ernst, R.: Codesign of embedded systems: Status and trends. In: Readings in Hardware\/Software Co-Design, pp. 45\u201354. Elsevier (2002). https:\/\/doi.org\/10.1016\/b978-155860702-6\/50006-5","DOI":"10.1016\/b978-155860702-6\/50006-5"},{"key":"3_CR16","doi-asserted-by":"publisher","unstructured":"Esterle, L., Gomes, C., Frasheri, M., Ejersbo, H., Tomforde, S., Larsen, P.G.: Digital twins for collaboration and self-integration. In: 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), pp. 172\u2013177. IEEE, DC, USA (Sep 2021). https:\/\/doi.org\/10.1109\/ACSOS-C52956.2021.00040","DOI":"10.1109\/ACSOS-C52956.2021.00040"},{"key":"3_CR17","doi-asserted-by":"publisher","unstructured":"Feng, H., Gomes, C., Gil, S., Mikkelsen, P.H., Tola, D., Larsen, P.G., Sandberg, M.: integration of the Mape-K loop in digital twins. In: 2022 Annual Modeling and Simulation Conference (ANNSIM), pp. 102\u2013113. IEEE, San Diego, CA, USA (Jul 2022). https:\/\/doi.org\/10.23919\/ANNSIM55834.2022.9859489","DOI":"10.23919\/ANNSIM55834.2022.9859489"},{"key":"3_CR18","unstructured":"Feng, H., Gomes, C., Larsen, P.G.: Model-Based Monitoring and State Estimation for Digital Twins: The Kalman Filter (Apr 2023)"},{"key":"3_CR19","doi-asserted-by":"publisher","unstructured":"Feng, H., Gomes, C., Thule, C., Lausdahl, K., Iosifidis, A., Larsen, P.G.: Introduction to Digital Twin Engineering. In: 2021 Annual Modeling and Simulation Conference (ANNSIM), pp. 1\u201312. IEEE, Fairfax, VA, USA (Jul 2021). https:\/\/doi.org\/10.23919\/ANNSIM52504.2021.9552135","DOI":"10.23919\/ANNSIM52504.2021.9552135"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Feng, H., Gomes, C., Thule, C., Lausdahl, K., Sandberg, M., Larsen, P.G.: The Incubator Case Study for Digital Twin Engineering. Aarhus University, Department of Engineering, Tech. rep. (Feb 2021)","DOI":"10.23919\/ANNSIM52504.2021.9552135"},{"key":"3_CR21","doi-asserted-by":"publisher","unstructured":"Fitzgerald, J., Gomes, C., Larsen, P.G. (eds.): The Engineering of Digital Twins. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-66719-0","DOI":"10.1007\/978-3-031-66719-0"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"108952","DOI":"10.1109\/ACCESS.2020.2998358","volume":"8","author":"A Fuller","year":"2020","unstructured":"Fuller, A., Fan, Z., Day, C., Barlow, C.: Digital Twin: enabling technologies, challenges and open research. IEEE Access 8, 108952\u2013108971 (2020). https:\/\/doi.org\/10.1109\/ACCESS.2020.2998358","journal-title":"IEEE Access"},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Gil, S., Mikkelsen, P.H., Gomes, C., Larsen, P.G.: Survey on open-source digital twin frameworks \u2013 a case study approach. Softw. Pract. Exper. spe.3305 (Jan 2024). https:\/\/doi.org\/10.1002\/spe.3305","DOI":"10.1002\/spe.3305"},{"key":"3_CR24","unstructured":"Gomes, C.: INTO-CPS-Association\/example_digital-twin_incubator. The INTO-CPS Association (May 2024)"},{"key":"3_CR25","doi-asserted-by":"publisher","unstructured":"Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a Survey. ACM Comput. Surv. 51(3), 49:1\u201349:33 (2018). https:\/\/doi.org\/10.1145\/3179993","DOI":"10.1145\/3179993"},{"key":"3_CR26","doi-asserted-by":"publisher","unstructured":"Griffiths, D.F., Higham, D.J.: Numerical Methods for Ordinary Differential Equations. Undergraduate Mathematics Series. Springer (2010). https:\/\/doi.org\/10.1007\/978-0-85729-148-6","DOI":"10.1007\/978-0-85729-148-6"},{"key":"3_CR27","doi-asserted-by":"publisher","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring java programs with java pathexplorer. Electr. Notes Theoretical Comput. Sci. 55(2), 200\u2013217 (2001). https:\/\/doi.org\/10.1016\/S1571-0661(04)00253-1","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"3_CR28","unstructured":"IEEE: International Standard ISO\/IEC\/IEEE 15288:2015(E), Systems and Software Engineering \u2014 System Life Cycle Processes. ISO\/IEC and IEEE Computer Society (2015)"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.cirpj.2020.02.002","volume":"29","author":"D Jones","year":"2020","unstructured":"Jones, D., et al.: Characterising the digital twin: a systematic literature review. CIRP J. Manuf. Sci. Technol. 29, 36\u201352 (2020)","journal-title":"CIRP J. Manuf. Sci. Technol."},{"issue":"1","key":"3_CR30","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J Kephart","year":"2003","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003). https:\/\/doi.org\/10.1109\/MC.2003.1160055","journal-title":"Computer"},{"key":"3_CR31","doi-asserted-by":"publisher","unstructured":"K\u00fchne, T.: What is a model? In: Language Engineering for Model-Driven Software Development, vol. 04101. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI) (2005). https:\/\/doi.org\/10.4230\/DagSemProc.04101.15","DOI":"10.4230\/DagSemProc.04101.15"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1016\/j.jmsy.2020.06.017","volume":"58","author":"M Liu","year":"2021","unstructured":"Liu, M., Fang, S., Dong, H., Xu, C.: Review of digital twin about concepts, technologies, and industrial applications. J. Manuf. Syst. 58, 346\u2013361 (2021). https:\/\/doi.org\/10.1016\/j.jmsy.2020.06.017","journal-title":"J. Manuf. Syst."},{"key":"3_CR33","doi-asserted-by":"publisher","unstructured":"Madsen, E., Tola, D., Hansen, C., Gomes, C., Larsen, P.G.: AURT: a tool for dynamics calibration of robot manipulators. In: 2022 IEEE\/SICE International Symposium on System Integration (SII)., pp. 190\u2013195. IEEE, Narvik, Norway (Jan 2022). https:\/\/doi.org\/10.1109\/SII52469.2022.9708769","DOI":"10.1109\/SII52469.2022.9708769"},{"key":"3_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring Temporal Properties of Continuous Signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1007\/978-3-030-59152-6_34","volume-title":"Automated Technology for Verification and Analysis","author":"D Ni\u010dkovi\u0107","year":"2020","unstructured":"Ni\u010dkovi\u0107, D., Yamaguchi, T.: RTAMT: online robustness monitors from STL. In: Hung, D.V., Sokolsky, O. (eds.) ATVA 2020. LNCS, vol. 12302, pp. 564\u2013571. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_34"},{"key":"3_CR36","unstructured":"Oakes, B., Gomes, C., Larsen, P.G., Denil, J., DeAntoni, J., Cambeiro, J., Fitzgerald, J.: Examining model qualities and their impact on digital twins. In: Annual Modelling and Simulation Conference, pp. 220\u2013232, Ontario, Canada (2023)"},{"key":"3_CR37","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (SFCS 1977), pp. 46\u201357 (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Rizzi, S.: What-if analysis. Encyclopedia of Database Systems, pp.\u00a01\u20136 (2009)","DOI":"10.1007\/978-1-4899-7993-3_466-2"},{"key":"3_CR39","unstructured":"Rose, M., Fitzgerald, J.: Genetic algorithms for design space exploration of cyber-physical systems: An implementation in into-CPS. In: Macedo, H.D., Thule, C., Pierce, K. (eds.) Proceedings of the 19th International Overture Workshop. Overture (Oct 2021)"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Simon, D.: Optimal State Estimation: Kalman, H Infinity, and Nonlinear Approaches. John Wiley & Sons (2006)","DOI":"10.1002\/0470045345"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Stachowiak, H.: Allgemeine Modelltheorie. Springer-Verlag, Wien and New York (1973)","DOI":"10.1007\/978-3-7091-8327-4"},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Steinkraus, K.H., Hwa, Y.B., Van\u00a0Buren, J.P., Provvidenti, M.I., Hand, D.B.: Studies on tempeh. An Indonesian fermented soybean food. Food Res. 25, 777\u2013788 (1960)","DOI":"10.1111\/j.1365-2621.1960.tb00026.x"},{"key":"3_CR43","unstructured":"Stewart, J.: Calculus: Early Transcendentals. Cengage Learning (2012)"},{"key":"3_CR44","unstructured":"van Amerongen, J.: Dynamical Systems for Creative Technology. Controllab Products B.V, Enschede (2010)"},{"key":"3_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-030-83723-5_6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends","author":"J Woodcock","year":"2021","unstructured":"Woodcock, J., Gomes, C., Macedo, H.D., Larsen, P.G.: Uncertainty quantification and runtime monitoring using environment-aware digital twins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12479, pp. 72\u201387. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-83723-5_6"},{"key":"3_CR46","doi-asserted-by":"publisher","unstructured":"Wright, T., Gomes, C., Woodcock, J.: Formally verified self-adaptation of an incubator digital twin. In: Leveraging Applications of Formal Methods, Verification and Validation. Practice. LNCS, vol. 13704, pp. 89\u2013109. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_7","DOI":"10.1007\/978-3-031-19762-8_7"},{"key":"3_CR47","unstructured":"Zeigler, B.P.: Theory of Modelling and Simulation. Wiley, New York (1976)"},{"issue":"3","key":"3_CR48","doi-asserted-by":"publisher","first-page":"1141","DOI":"10.1007\/s12652-018-0911-3","volume":"10","author":"Y Zheng","year":"2019","unstructured":"Zheng, Y., Yang, S., Cheng, H.: An application framework of digital twin and its case study. J. Ambient. Intell. Humaniz. Comput. 10(3), 1141\u20131153 (2019). https:\/\/doi.org\/10.1007\/s12652-018-0911-3","journal-title":"J. Ambient. Intell. Humaniz. Comput."}],"container-title":["Lecture Notes in Computer Science","Engineering Trustworthy Software Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-4656-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T11:00:38Z","timestamp":1751454038000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-4656-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9789819646555","9789819646562"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-4656-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"5 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors\u00a0have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}}]}}